• DOI:10.1007/3540543961_6
Corpus ID: 7365879

GAML: a Parallel Implementation of Lazy ML

@inproceedings{Maranget1991GAMLAP,
  title={GAML: a Parallel Implementation of Lazy ML},
  author={Luc Maranget},
  booktitle={FPCA},
  year={1991}
}

Luc Maranget

Published in FPCA 1991

Computer Science

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed

We present a new parallel implementation of lazy ML. Our scheme is a direct extension of the G-machine-based implementation of lazy ML. Parallelism is introduced by fork annotations inserted by the programmer. We discuss the interference of such user annotations with strictness annotations generated by our compiler. The system has been implemented on a Sequent Balance computer. We also address the main practical issues involved, including stack and heap management.