higher-rank-types

There are 5 repositories under higher-rank-types topic.

  • zehaochen19/vanilla-lang

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

    Language:Haskell90303

  • kwanghoon/bidi

    bidirectional type checking algorithms for higher-ranked polymorphism

    Language:Haskell17300

  • chrisnevers/bidirectional-typechecking

    Bidirectional type checking for predicative System F

    Language:OCaml6220

  • kkd26/SiFun

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

    Language:OCaml5100

  • RemuLang/hmf

    implementation of HMF type system, for higher rank types

    Language:Python1310