An Interface to LFPL Prototype Compiler Borel

This form allows you to try out Christian Kirkegaard's prototype implementation of an extension 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 about Borel

Type a program or start with the examples (reverse.brl, mirror.brl, breadth.brl) :

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