Cαml är ett verktyg som omvandlar en så kallad "bindande specifikation" till en objektiv Caml sammanställningsenhet. En bindande specifikation liknar en algebraisk datatypdeklaration, men innehåller även information om namn och bindning. Cαml är tänkt att hjälpa författare av tolkar, kompilatorer, eller andra program-som-manipulera-program hanterar α-konversion i en säker och koncis stil. I detta dokument ges en översikt över Cαml:s bindande specifikationsspråk och den kod som Cαml producerar.
Cαml REF ] är en kodgenerator.
An overview of C α ml
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}