Pinned Loading

1. pi-calculus pi-calculus Public

   A collection of implementations of the polyadic pi-calculus and it's variants

   Haskell 7

2. lambda-pi lambda-pi Public

   A toy implementation of the dependently typed lambda calculus known as λΠ

   Haskell 12 1

3. types-as-specifications types-as-specifications Public

   Haskell 50 12

4. diml diml Public

   Honors Thesis Summer/Fall 2015

   Haskell 11 2