GitHub - profbrandon/typeChecker: A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
imp		imp
stl.hs		stl.hs
stlbool.hs		stlbool.hs
stlboolnat.hs		stlboolnat.hs
stllet.hs		stllet.hs
stlpair.hs		stlpair.hs
stlrecord.hs		stlrecord.hs
stlsum.hs		stlsum.hs
stlsum2.hs		stlsum2.hs
stltuple.hs		stltuple.hs

About

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

parametric-polymorphism pattern-matching simply-typed-lambda-calculus system-f type-system typechecker universal-quantifiers

2 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages