PolyP - a polytypic programming language

Patrik Jansson, Johan Jeuring and Ulf Norell

PolyP version 2

This distribution contains The compiler is written in Haskell 98 (+ the ST-monad) and is known to work with

Download

Download the source code, unpack with
gunzip polyp.tar.gz
tar xf polyp.tar
and follow the installation instructions. Please send a mail to NOpatrikjSP@AMchalmers.se if you download it, or have comments or bugs to report.

Polytypism

For information about polytypic programming in general read http://www.cse.chalmers.se/~patrikj/poly/.
Last modified: . by
Patrik Jansson / NOpatrikjSP@AMchalmers.se