higher-rank-types

There are 0 repository under higher-rank-types topic.

• zehaochen19 / vanilla-lang

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

  higher-rank-typeslambda-calculuspolymorphismprogramming-languagesystem-ftype-inference
  Language:Haskell 87

• kwanghoon / bidi

  bidirectional type checking algorithms for higher-ranked polymorphism

  typestypeinferencefunctional-programminghigher-rank-typeshaskellbidirectional-typechecking
  Language:Haskell 13

• chrisnevers / bidirectional-typechecking

  Bidirectional type checking for predicative System F

  bidirectional-typecheckinghigher-rank-typessubtypingsystem-f
  Language:OCaml 5

• kkd26 / SiFun

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

  compilerfunctional-programminghigher-rank-typesinterpreterocamlprogramming-language
  Language:OCaml 5

• RemuLang / hmf

  implementation of HMF type system, for higher rank types

  type-systemhigher-rank-typestype-inference
  Language:Python 1