Revised version of a paper presented at Implementation of Functional Languages, 10th International Workshop (IFL'98), 1998.
This paper introduces a monadic object code for functional languages that allows an architecture independent, compact representation of program modules; it includes support for distributed applications by featuring a light-weight thread model and asymmetric communication. It proposes to offset inefficiencies introduced by the architecture independence by specialising and optimising the code before or during execution. The proposal is substantially different from classical byte code in both the structure of the language, as it is a strongly-typed functional language encapsulating side-effects in monadic form, and the representation of the code, as it is a bit-aligned structurally, compressed code designed for runtime code-generation, not for interpretation.
PostScript version (16 pages).
This page is part of Manuel Chakravarty's WWW-stuff.