An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
-
Updated
Dec 1, 2020 - Haskell
#
system-f
Here are 13 public repositories matching this topic...
A statically-typed strictly-evaluated garbage-collected readable programming language.
programming-language
compiler
llvm
ffi
lambda-calculus
typeclass
polymorphism
type-safety
hindley-milner
zion
static-typing
system-f
llvm-compiler
garbage-collect
newtypes
-
Updated
Jan 13, 2021 - C++
Lecture note on Lambda Calculus and Types for FLOLAC
-
Updated
Aug 26, 2020 - TeX
Formalization of the polymorphic lambda calculus and its parametricity theorem
-
Updated
May 2, 2019 - Coq
My Attempt at System Fω with Row-Polymorphism
-
Updated
Jul 4, 2021 - OCaml
An implementation of http://www.cis.upenn.edu/~stevez/papers/MZZ10.pdf with examples and details from https://github.com/kpavery/System-Fo
-
Updated
Apr 22, 2018 - OCaml
Bidirectional type checking for predicative System F
-
Updated
Jan 26, 2020 - 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++
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
typechecker
checker
pattern-matching
type-system
system-f
parametric-polymorphism
universal-quantifiers
simply-typed-lambda-calculus
-
Updated
Aug 5, 2017 - Haskell
REPL for various lambda calculi.
lambda-calculus
evaluator
system-f
lambda-calculus-evaluator
simply-typed-lambda-calculus
untyped-lambda-calculus
-
Updated
Mar 22, 2021 - Haskell
Improve this page
Add a description, image, and links to the system-f 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 topic, visit your repo's landing page and select "manage topics."