A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur, Cooperative task management without manual stack management, USENIX Annual Technical Conference, General Track, pp.289-302, 2002.

F. Boussinot, FairThreads: mixing cooperative and preemptive threads in C, Concurrency and Computation: Practice and Experience, vol.11, issue.5, pp.445-469, 2006.
DOI : 10.1002/cpe.919

URL : https://hal.archives-ouvertes.fr/inria-00071544

O. Danvy and L. R. Nielsen, Defunctionalization at work, pp.162-174, 2001.
DOI : 10.7146/brics.v8i23.21684

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Duff, Duff's device, 1983.

A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, pp.29-42, 2006.
DOI : 10.1145/1182807.1182811

J. Fischer, R. Majumdar, and T. D. Millstein, Tasks, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '07, pp.134-143, 2007.
DOI : 10.1145/1244381.1244403

T. Harris, M. Abadi, R. Isaacs, and R. Mcilroy, AC: composable asynchronous IO for native languages, pp.903-920, 2011.

T. Johnsson, Lambda lifting: Transforming programs to recursive equations, pp.190-203, 1985.
DOI : 10.1007/3-540-15975-4_37

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Kerneis and J. Chroboczek, Are events fast? Tech. rep., PPS, 2009.

G. Kerneis and J. Chroboczek, Continuation-passing C, compiling threads to events through continuations. Higher-Order and Symbolic Computation 24, pp.239-279, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00537964

A. Key, Weave: translated threaded source (with annotations) to fibers with context passing, 1995.

M. N. Krohn, E. Kohler, and M. F. Kaashoek, Events can make sense, USENIX Annual Technical Conference, pp.87-100, 2007.

G. D. Plotkin, Call-by-name, call-by-value and the ??-calculus, Theoretical Computer Science, vol.1, issue.2, pp.125-159, 1975.
DOI : 10.1016/0304-3975(75)90017-1

J. C. Reynolds, Definitional interpreters for higher-order programming languages, Proceedings of the ACM annual conference on , ACM '72, pp.717-740, 1972.
DOI : 10.1145/800194.805852

J. C. Reynolds, The discoveries of continuations, LISP and Symbolic Computation, vol.24, issue.3, pp.233-248, 1993.
DOI : 10.1007/BF01019459

S. Srinivasan and A. Mycroft, Kilim: Isolation-Typed Actors for Java, Lecture Notes in Computer Science, vol.5142, pp.104-128, 2008.
DOI : 10.1007/978-3-540-70592-5_6

H. Thielecke, Continuations, functions and jumps, ACM SIGACT News, vol.30, issue.2, pp.33-42, 1999.
DOI : 10.1145/568547.568561

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Van-wijngaarden, Recursive definition of syntax and semantics. In: Formal Language Description Languages for Computer Programming, pp.13-24, 1966.