Cited By
View all- Crolard T(2016)A verified abstract machine for functional coroutinesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.212.1212(1-17)Online publication date: 19-Jun-2016
- McKay DShapiro S(1980)MULTI - a LISP based multiprocessing systemProceedings of the 1980 ACM conference on LISP and functional programming10.1145/800087.802787(29-37)Online publication date: 25-Aug-1980