Revised version of a paper presented at Implementation of Functional Languages, 10th International Workshop (IFL'98), 1998.
Abstract
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.