PML

Parallel ML

See ML[2].

"Synchronous Operations as First-Class Values", J. H. Reppy, Proceedings of the SIGPLAN 88 Conference on Programming Language Design and Implementation, June 1988, pp.250-259.