All Categories → No Category → system-f

Top 4 system-f open source projects

Lecture note on Lambda Calculus and Types for FLOLAC

✭ 26

TeX Makefile lambda-calculus type-theory lecture system-f

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

✭ 73

haskell Nix lambda-calculus polymorphism type-inference system-f higher-rank-types

lambda-calculus

An introduction to the Lambda Calculus

✭ 59

lambda-calculus system-f

Formalization of the polymorphic lambda calculus and its parametricity theorem

✭ 20

Coq lambda-calculus coq formalization polymorphism denotational-semantics system-f parametricity

1-4 of 4 system-f projects