equirecursive-types

There are 0 repository under equirecursive-types topic.

• polytypic / f-omega-mu

  Fωμ type checker and compiler

  type-systemhobby-projectwipequirecursive-typesstructural-typeshigher-kinded-typesimpredicative-types
  Language:OCaml 51

• thrunduil / Arrow

  Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.

  system-flanguagesystem-f-omegapolymorphic-kindsequirecursive-typesprogamming-language
  Language:C++ 4