chrisnevers/bidirectional-typechecking

Bidirectional type checking for predicative System F

语言：OCaml · GitHub 星标：6 · Fork：0

话题：bidirectional-typechecking · higher-rank-types · subtyping · system-f

在 GitHub 上查看原仓库