GOFFIN: Higher-Order Functions Meet Concurrent Constraints (1997)

Cached

Download Links

by Manuel M. T. Chakravarty , Yike Guo , Martin Köhler , Hendrik C. R. Lock
Citations:13 - 2 self