📝Compiling with continuations resources

tags
Compiling with continuations

Papers

Some papers are directly related to CPS, but some other are only tangentially related (e.g., they are mentioned in other CPS papers).

  • 1975 Call-by-name, call-by-value and the λ-calculus (Plotkin)
  • 1989 Continuation-passing, closure-passing style (Appel, Jim)
  • 1992 Compiling with Continuations (Appel) [Appel1992]
  • 1992 Representing control: A study of the CPS transformation (Danvy, Filinski)
  • 1992 Reasoning about programs in continuation-passing style (Sabry, Felleisen)
  • 1993 The essence of compiling with continuations (Flanagan, Sabryy, Duba, Felleisen) [Flanagan1993]
  • 1994 Call-by-need and continuation-passing style (Okasaki, Lee, Tarditi)
  • 1995 A correspondence between continuation passing style and static single assignment form (Kelsey)
  • 1997 Shrinking lambda expression in linear time (Appel, Jim)
  • 1997 A reflection on call-by-value (Sabry, Wadler)
  • 1998 SSA is functional programming (Appel)
  • 2001 Contification using dominators (Fluet, Weeks)
  • 2002 Comparing Control Constructs by Double-Barrelled CPS (Thielecke)
  • 2002 Secrets of the Glasgow Haskell Compiler inliner (Peyton Jones, Marlow)
  • 2007 Compiling with continuations, continued (Kennedy) [Kennedy2007]
  • 2016 Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect (Osvald, Essertel, Wu, González Alayón, Rompf)
  • 2017 Compiling without continuations (Maurer, Downen, Ariola, Peyton Jones) [Maurer2017]
  • 2017 Continuation passing style for effect handlers (Hillerström, Lindley, Atkey, Sivaramakrishnan, Miller)
  • 2018 Compiling with Continuations and LLVM (Farvardin, Reppy)
  • 2019 Compiling with Continuations, or without? Whatever. (Cong, Osvald, Essertel, Rompf)
  • 2021 Compiling with continuations, correctly (Paraskevopoulou, Grover)

Other

Backlinks

Want to receive my 🖋 posts as I publish them?