15-816 Linear Logic

Assignment 7: Linear Functional Programming

In this homework we implement the core of a linear functional programming language. This implementation may later be used to check derivations produced by our automated theorem prover. You are encouraged to collaborate in groups up to 3 students and hand in one joint implementation.

[ home | schedule | assignments | languages | handouts | overview | links ]

Frank Pfenning