1 result found Sort:

zehaochen19
vanilla-lang zehaochen19
3
87
mit
3
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
system-f polymorphism type-inference lambda-calculus higher-rank-types programming-language
Created 2019-11-25
233 commits to master branch, last one about a year ago