Goffin: higher order functions meet concurrent constraints (1995)

by Manuel M T Chakravarty, Yike Guo, Martin Kohler
Venue:First International Workshop on Concurrent Constraint Programming