6 open source projects by sweirich

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

A demo implementation of a simple dependently-typed language

Examples of Dependently-typed programs in Haskell

A Specification for Dependent Types in Haskell (Core)

Automatically exported from code.google.com/p/trellys

Generic unification-based type inference library