Projects in Awesome Lists tagged with system-f
A curated list of projects in awesome lists tagged with system-f .
https://github.com/sgillespie/lambda-calculus
An introduction to the Lambda Calculus
Last synced: 15 Apr 2025
https://github.com/lysxia/system-f
Formalization of the polymorphic lambda calculus and its parametricity theorem
coq denotational-semantics formalization lambda-calculus parametricity polymorphism system-f
Last synced: 22 Mar 2025
https://github.com/tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega
Last synced: 21 Nov 2024
https://github.com/l-tchen/type-theory
Lecture note on Lambda Calculus and Types for FLOLAC
lambda-calculus lecture system-f type-theory
Last synced: 04 Apr 2025
https://github.com/ef55/stainless-stlc
System F in Stainless
lambda-calculus stainless system-f verified
Last synced: 10 Feb 2025
https://github.com/zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
ad-hoc-polymorphism algebraic-data-types beamer generalized-algebraic-data-type parametric-polymorphism polymorphism rust simply-typed-lambda-calculus subtype-polymorphism system-f type-system universal-type
Last synced: 01 Feb 2025
https://github.com/susisu/system-f-js-impl
An implementation of System F in JS
Last synced: 13 Apr 2025
