system-f topic
List
system-f repositories
vanilla-lang
87
Stars
3
Forks
Watchers
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
lambda-calculus
88
Stars
15
Forks
Watchers
An introduction to the Lambda Calculus
system_f_omega
30
Stars
0
Forks
Watchers
My Attempt at System Fω with Row-Polymorphism
Type-Theory
26
Stars
3
Forks
Watchers
Lecture note on Lambda Calculus and Types for FLOLAC
ace
47
Stars
2
Forks
Watchers
A statically-typed strictly-evaluated garbage-collected readable programming language.
pirouette
47
Stars
2
Forks
Watchers
Language-generic workbench for building static analysis
system-F
32
Stars
2
Forks
Watchers
Formalization of the polymorphic lambda calculus and its parametricity theorem