An Interface to LFPL Prototype Compiler by Robert Atkey
(frontend: deel)

This frontend has been added to the compiler by Michal Konečn and corresponds to the typing described in his technical report LFPL with Types for Deep Sharing .

The input syntax is the same as for LFPL. This frontend infers certain assertions about the behaviour of the program and produces a pdf displaying them. When it follows from these assertions that the program would execute correctly, the output code is displayed too.

Type a program or start with the examples (insertsort.deel, div23.deel, pathlist.deel, reverse.deel, append.deel) :
Choose backend:

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