Le Clocher Bleu

What is Pure FreshML?

Pure FreshML is a prototype implementation of the programming language described in the paper Static Name Control for FreshML.

Here is the source code. This is an early prototype, without documentation; it is provided only as a means of reproducing the experiments described in the paper. It requires OCaml and a SAT solver (by default, relsat, but zchaff can also be used). Installation requires omake. A more polished prototype, with a simpler installation process, will be made available in the future.

Here are some sample code fragments that might be of interest:

FranšaisHome Email Last modified: August 10, 2021