GAML(ID:3529/gam003)

Parallel Lazy ML 

Parallel Lazy ML
References:
  • Luc Maranget "GAML: a Parallel Implementation of Lazy ML" In J. Hughes, editor, Functional Programming & Computer Architecture, pages 102-123, Springer-Verlag, August 1991. bibtex, postscript paper view details Abstract: 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.
  • W.S. Martins "Parallel Implementations of Functional Languages" In Proceedings of the 4th Int. Workshop on the Parallel Implementation of Functional Languages, 92 view details