An Interface to LFPL Prototype Compiler by Nick Brown

This form allows you to try out Nick Brown's prototype implementation of the programming language described in Martin Hofmann's paper A type system for bounded space and functional in-place update presented at ESOP'00.

Things to note

Type a program or start with the examples (reverse, quick, treesort, flatten, breadth, bad, io) :

Other compilers available: Borel , by Robert Atkey
Back to the main project page.
Michal Konečnư
Last modified: Fri Feb 21 14:30:18 GMT 2003