This report outlines a parallel abstract machine for the implementation of a lazy functional core language. The evaluation transformer model of reduction is used to control the evaluation process. An evaluator space containing parameterised evaluators for structured and polymorphic types is introduced. Using this framework it is possible to handle runtime information about evaluators for arbitrary structured types as well as evaluation transformers for functions over polymorphic types.
Matthias Horn Institut für Informatik Freie Universität Berlin email: email@example.com Report B-95-15 11/94
Get the report here or by anonymous ftp: Server: ftp.inf.fu-berlin.de File: pub/reports/tr-b-95-15.ps.gz