4 results found Sort:

zehaochen19
vanilla-lang zehaochen19
3
90
mit
3
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
system-f polymorphism type-inference lambda-calculus higher-rank-types programming-language
Created 2019-11-25
233 commits to master branch, last one about a year ago
sgillespie
lambda-calculus sgillespie
15
88
mit
4
An introduction to the Lambda Calculus
system-f lambda-calculus
Created 2016-07-15
195 commits to master branch, last one 2 years ago
tweag
pirouette tweag
2
47
mit
18
Language-generic workbench for building static analysis
haskell system-f symbolic-execution formal-verification
This repository has been archived (exclude archived)
Created 2021-08-13
425 commits to main branch, last one 11 months ago
wbbradley
ace wbbradley
2
47
other
3
A statically-typed strictly-evaluated garbage-collected readable programming language.
ffi llvm zion compiler newtypes system-f typeclass type-safety polymorphism llvm-compiler static-typing hindley-milner garbage-collect lambda-calculus programming-language
Created 2019-04-29
1,041 commits to master branch, last one 2 months ago