Searching for "Rank 2 intersection types for local definitions and conditional expressions." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Rank 2 Intersection Types for Local Definitions and Conditional Expressions
- …Rank 2 intersection types for local definitions and conditional expressions FERRUCCIO DAMIANI…
- Cited by 11 (4 self) – Add To MetaCart
-
Principal Typings and True Rank 2 Intersection Typable Recursive Definitions
- …,10,18,4,6]). In [4] we introduced typing rules for assigning rank 2 intersection types to local definitions…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 2.
