ML 05 START ConferenceManager    

An overview of alphaCaml

Francois Pottier

The 2005 ACM SIGPLAN Workshop on ML (ML 05)
Tallinn, Estonia, September 29, 2005


Abstract

AlphaCaml is a tool that turns a so-called ``binding specification'' into an Objective Caml compilation unit. This helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with alpha-conversion in a safe and concise style. This paper presents an overview of AlphaCaml's binding specification language and of the code that AlphaCaml produces.


  
START Conference Manager (V2.49.7)
Maintainer: rrgerber@softconf.com