Programming in JoCaml (Tool Demonstration).

Louis Mandel, Luc Maranget

Browse the full ESOP paper archive.