Login / Signup

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.

Songlin JiaGuannan WeiSiyuan HeYueyang TangYuyan BaoTiark Rompf
Published in: CoRR (2024)
Keyphrases
  • type checking
  • transitive closure
  • data types
  • object model
  • database
  • object recognition
  • knowledge discovery