My Attempt at System Fω with Row-Polymorphism
-
Updated
Jul 4, 2021 - OCaml
#
system-f-omega
Here are 4 public repositories matching this topic...
A functional programming language based on system F (omega) ft. NbE and higher order unification
programming-language
compiler
pattern-matching
ocaml
functional-language
type-inference
typechecking
system-f
system-f-omega
gadts
-
Updated
May 12, 2023 - OCaml
Lambda Calculus implementations in OCaml.
-
Updated
May 26, 2022 - OCaml
Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.
-
Updated
Feb 11, 2021 - C++
Improve this page
Add a description, image, and links to the system-f-omega topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the system-f-omega topic, visit your repo's landing page and select "manage topics."