Goffin: Higher-Order Functions Meet Concurrent Constraints (1998)

by Manuel M T Chakravarty, Yike Guo, Martin Köhler, Hendrik C R Lock
Venue:Science of Computer Programming