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

A. W. Appel, Compiling with continuations, 1992.
DOI : 10.1017/CBO9780511609619

P. Attar, Y. R. Canal, J. Condit, F. Zhou, G. C. Necula et al., Réalisation d'un seeder bittorrent en CPC URL http://www.pps.univ-paris-diderot.fr/ ~ jch/software/hekate/hekate-attar-canal Capriccio: scalable threads for internet services, SIGOPS Oper. Syst. Rev, vol.37, issue.5, pp.268-281, 2003.

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

C. Bruggeman, O. Waddell, and R. K. Dybvig, Representing control in the presence of one-shot continuations, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, PLDI '96, pp.99-107, 1996.

J. Chroboczek, Continuation-passing for C: a space-efficient implementation of concurrency, Tech. rep., PPS, Université Paris, vol.7, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00135160

K. Claessen, A poor man's concurrency monad, Journal of Functional Programming, vol.9, issue.3, pp.313-323, 1999.
DOI : 10.1017/S0956796899003342

W. D. Clinger, Proper tail recursion and space efficiency, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, PLDI '98, pp.174-185, 1998.
DOI : 10.1145/277652.277719
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4500

O. Danvy and U. Schultz, Lambda-Lifting in Quadratic Time, Functional and Logic Programming, pp.134-151, 2002.
DOI : 10.1007/3-540-45788-7_8

U. Drepper, I. M. Molnar, R. Ritchie, and . Pike, The Native POSIX Thread Library for Linux URL http://people.redhat.com/drepper/nptl-design.pdf 13. Duff, T.: 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

R. K. Dybvig and R. Hieb, Engines from continuations, Computer Languages, vol.14, issue.2, pp.109-123, 1989.
DOI : 10.1016/0096-0551(89)90018-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.6124

R. S. Engelschall, Portable multithreading: the signal stack trick for user-space thread creation, Proceedings of the 2000 USENIX Annual Technical Conference. USENIX Association, 2000.

A. Fischbach and J. Hannan, Specification and Correctness of Lambda Lifting, J. Funct. Program, vol.13, pp.509-543, 2003.
DOI : 10.1007/3-540-45350-4_10

J. Fischer, R. Majumdar, and T. 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

S. E. Ganz, D. P. Friedman, and M. Wand, Trampolined style, Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, ICFP '99, pp.18-27, 1999.
DOI : 10.1145/317636.317779

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019
URL : http://doi.org/10.1016/j.tcs.2008.09.019

T. Harris, M. Abadi, R. Isaacs, and R. Mcilroy, AC: composable asynchronous IO for native languages, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, pp.903-920, 2011.

C. T. Haynes, D. P. Friedman, and M. Wand, Continuations and coroutines, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.293-298, 1984.
DOI : 10.1145/800055.802046

C. A. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974.
DOI : 10.1145/355620.361161

T. Johnsson, Lambda lifting: Transforming programs to recursive equations, Lecture Notes in Computer Science, vol.201, pp.190-203, 1985.
DOI : 10.1007/3-540-15975-4_37

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

G. Kerneis and J. Chroboczek, CPC: programming with a massive number of lightweight threads, Proceedings of the Workshop on Programming Language Approaches to Concurrency and Communication- Centric Software, PLACES ', p.11, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00563369

G. Kerneis and J. Chroboczek, Lambda-lifting and CPS conversion in an imperative language, Tech. rep., PPS, Université Paris, vol.7, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00669849

A. Key, Weave: translated threaded source (with annotations) to fibers with context passing (ca As used within RAID-1 code in IBM SSA RAID adapters, 1995.

M. Krohn, E. Kohler, and M. F. Kaashoek, Events can make sense, Proceedings of the 2007 USENIX Annual Technical Conference, pp.1-14, 2007.

P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, vol.8, issue.2, pp.89-101, 1965.
DOI : 10.1145/363744.363749

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The Objective-Caml system, 2010.

P. Li and S. Zdancewic, Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives, Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, PLDI '07, pp.189-199

J. S. Miller and G. J. Rozas, Garbage collection is fast, but a stack is faster. AI Memo 1462, 1994.

G. Necula, S. Mcpeak, S. Rahul, and W. Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Compiler Construction, pp.209-265, 2002.
DOI : 10.1007/3-540-45937-5_16

V. S. Pai, P. Druschel, and W. Zwaenepoel, Flash: an efficient and portable web server, Proceedings of the 1999 USENIX Annual Technical Conference. USENIX Association, 1999.

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. Reppy, Concurrent ML: Design, application and semantics, Lecture Notes in Computer Science, vol.693, pp.165-198, 1993.
DOI : 10.1007/3-540-56883-2_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.7965

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

T. Rompf, I. Maier, and M. Odersky, Implementing first-class polymorphic delimited continuations by a type-directed selective cps-transform, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, ICFP '09, pp.317-328, 2009.

E. Scholz, A concurrency monad based on constructor primitives, or, being first-class is not enough, 1995.

G. Shekhtman and M. Abbott, State Threads for internet applications, 2009.

S. Srinivasan and A. Mycroft, Kilim: Isolation-Typed Actors for Java, ECOOP 2008 ? Object-Oriented Programming, pp.104-128, 2008.
DOI : 10.1007/978-3-540-70592-5_6

S. Jr and G. L. , Rabbit: A compiler for Scheme Master's thesis, 1978.

S. Jr, G. L. Sussman, and G. J. , Lambda, the ultimate imperative. AI Memo 353, 1976.

C. Strachey and C. P. Wadsworth, Continuations: A mathematical semantics for handling full jumps, Reprinted in Higher-Order and Symbolic Computation, pp.135-152, 1974.

S. Tatham, URL http://www.chiark.greenend.org.uk/ ~ sgtatham/coroutines.html 48. Thielecke, H.: Continuations, functions and jumps, Coroutines in C SIGACT News, vol.30, issue.2, pp.33-42, 1999.

C. Tismer, Continuations and stackless Python, Proceedings of the 8th International Python Conference, 2000.

J. Vouillon, Lwt, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.3-12, 2008.
DOI : 10.1145/1411304.1411307
URL : https://hal.archives-ouvertes.fr/hal-00495983

C. P. Wadsworth, Continuations revisited. Higher-Order and Symbolic Computation, pp.131-133, 2000.

M. Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming , LFP '80, pp.19-28, 1980.
DOI : 10.1145/800087.802786
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.5351

M. Welsh, D. Culler, and E. Brewer, SEDA, ACM SIGOPS Operating Systems Review, vol.35, issue.5, pp.230-243, 2001.
DOI : 10.1145/502059.502057

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