higher-rank-types

Here are 5 public repositories matching this topic...

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

bidirectional type checking algorithms for higher-ranked polymorphism

Bidirectional type checking for predicative System F

Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).

implementation of HMF type system, for higher rank types

Add a description, image, and links to the higher-rank-types topic page so that developers can more easily learn about it.

To associate your repository with the higher-rank-types topic, visit your repo's landing page and select "manage topics."