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
(reverse.brl, mirror.brl, breadth.brl)
It is a successer of the compiler by Nicholas Brown and it
extends it in several aspects.
It provides ML-style datatypes.
It optimizes for tail recursion.
It has a built-in list type and additional
former one is for making a list by adding an element to
another list's end (works reciprocally to
and the latter one for concatenating two lists.
For the concrete syntax see pages 30-34 of Christian
Other compilers available:
by Nick Brown
by Robert Atkey
Back to the main project page.
Last modified: Fri Feb 21 14:30:18 GMT 2003