Improving Parallel Implementations
of Lazy Functional Languages
Using Evaluation Transformers
Matthias Horn
Institut für Informatik
Freie Universität Berlin
email: horn@inf.fu-berlin.de
Report B-95-15
11/94
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.
Get the report here or by anonymous ftp:
Server: ftp.inf.fu-berlin.de
File: pub/reports/tr-b-95-15.ps.gz