higher-rank-types topic
List
higher-rank-types repositories
vanilla-lang
87
Stars
3
Forks
Watchers
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
bidi
19
Stars
0
Forks
19
Watchers
bidirectional type checking algorithms for higher-ranked polymorphism