Camelot and Grail: resource-aware functional programming for the JVM

We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, which is a functional form of JVM bytecode. A scheme for transforming Camelot into Grail is described. We also give some figures for execution times which show that Camelot programs perform reasonably well when compared with Java equivalents.

• Type: Conference
• Year: 2003
• Where: SFP
• Authors: Kenneth MacKenzie, Nicholas Wolverson
• Keywords: Functional Language Camelot, Intermediate Language Grail, JVM Bytecode, Programming Languages, SFP 2003