First-class synchronous operations in standard ML (1989)

by John Reppy