15-814 Types and Programming Languages
Software
At various points in the course we may use small prototype implementations
of the languages we are developing. Binaries for CMU students will become
available at ~fp/bin/ on Andrew. A source distributions you may
also be available (see below).
Lambda
A small illustrative implementation of the untyped λ-calculus,
the polymorphic λ-calculus, and the core of a call-by-value functional
language.
You can find some information in readme.txt
and some examples at examples/.
To run this on the linux.andrew.cmu.edu machines, invoke
$ ~fp/bin/lambda myexample.lam
Source Distribution
For installation instructions see the file readme.txt
in the distribution. You will need
the mlton compiler for Standard ML,
but it also runs with SML/NJ.
[ Home
| Schedule
| Assignments
| Resources
| Software
]
fp@cs
Frank Pfenning
|