Active Bibliography

jury compose de: – Pierre Jouvelot, Patrick Cousot (ens, Paul Feautrier (paris Vi, David K. Gi Ord (mit, De Bureau Francois Irigoin, Remi Triolet, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
13 A Library of High Level Control Operators – Christian Queinnec - 1993
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
3 Report on the FX programming language – David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James W. O'Toole - 1992
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
Multi-way Streams in Scheme – John Franco Daniel, Daniel P. Friedman, Steven D. Johnson - 1989
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
18 Handling Control – Dorai Sitaram - 1993
7 Revisiting Coroutines – Ana Lucia de Moura, Roberto Ierusalimschy - 2004
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants
2 Should a function continue? – Jon Gary Riecke - 1989
Continuing Into the Future: the Return – Luc Moreau - 1996
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
1 Type and Effect Systems via Abstract Interpretation – Jerome Vouillon, Pierre Jouvelot - 1995