inria > sophia
ensmp > cma
Migration and Mobility: Semantics and Applications
-- Reactive Programming,Functional Programming

[Bou07e]Boudol, G. -- Fair cooperative multithreading, or: typing termination in a higher-order concurrent imperative language -- CONCUR'07, Lecture Notes in Computer Science, 2007, pp. 272-286.

This Html page has been produced by Skribe.
Last update Thu Jan 15 11:30:19 2009.