Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Reference. Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Jeremy Gibbons · Programming · 2021 · program-calculation · DOI

Cite

Cite as @gibbons-2021-continuation (helia, typst) · \cite{gibbons-2021-continuation} (LaTeX)

BibTeX

bibtex · 1 line

@article{gibbons-2021-continuation, title={Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity}, volume={6}, ISSN={2473-7321}, url={http://dx.doi.org/10.22152/programming-journal.org/2022/6/7}, DOI={10.22152/programming-journal.org/2022/6/7}, number={2}, journal={The Art, Science, and Engineering of Programming}, publisher={Aspect-Oriented Software Association (AOSA)}, author={Gibbons, Jeremy}, year={2021}, month=Nov }

hayagriva YAML (typst)

yaml · 15 lines

gibbons-2021-continuation:
  type: article
  title: Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
  author: Gibbons, Jeremy
  date: 2021-11
  url: http://dx.doi.org/10.22152/programming-journal.org/2022/6/7
  serial-number:
    doi: 10.22152/programming-journal.org/2022/6/7
    issn: 2473-7321
  parent:
    type: periodical
    title: The Art, Science, and Engineering of Programming
    publisher: Aspect-Oriented Software Association (AOSA)
    issue: 2
    volume: 6

Download: gibbons-2021-continuation.bib · gibbons-2021-continuation.yml

Cites 31 works (0 here)

External (31)

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity (accompanying Idris code) (2021)
It's as easy as 1, 2, 3 (2021)
Calculating correct compilers II: Return of the register machines (2020)
An Internalist Approach to Correct-by-Construction Compilers (2018)
Compiling a 50-year journey* (2017)
Thinking Functionally With Haskell (2016)
Calculating correct compilers (2015)
Ornamental Algebras, Algebraic Ornaments (2014)
She’s cutting and pasting it: Higgledy piggledy programming (2012)
Defunctionalized interpreters for programming languages (2008)
Clowns to the Left of me, Jokers to the Right Dissecting Data Structures (2006)
A type-correct, stack-safe, provably correct, expression compiler (2006)
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (2005)
Compiling Exceptions Correctly (2004)
A functional correspondence between call-by-need evaluators and lazy abstract machines (2004)
What is an operad? (2004)
From Interpreter to Compiler and Virtual Machine: A Functional Derivation (2003)
A functional correspondence between evaluators and abstract machines (2003)
Defunctionalization at work (2001)
The Zipper (1997)
Introduction to functional programming (1988)
Elements of Functional Languages (1988)
A Novel Representation of Lists and its Application to the Function "reverse" (1986)
To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic (1985)
The promotion and accumulation strategies in transformational programming (1984)
Deriving Target Code as a Representation of Continuation Semantics (1982)
Continuation-Based Program Transformation Strategies (1980)
A Transformation System for Developing Recursive Programs (1977)
A First Order Theory of Data and Programs (1977)
Definitional Interpreters for Higher-Order Programming Languages (1972)
Correctness of a compiler for arithmetic expressions (1966)