GOFFIN: Higher-order functions meet concurrent constraints
Manuel M.T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C.R. LockVolume:
30
Year:
1998
Language:
english
Pages:
43
DOI:
10.1016/s0167-6423(97)00010-5
File:
PDF, 2.66 MB
english, 1998