Cutting Out Continuations

DOI10.1007/978-3-319-30936-1_10MaRDI QIDQ3188285zbMATH OpenOpenAlexWikidataFDO

Authors Graham Hutton, Patrick Bahr

Publication date 17 August 2016

Published in A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL http://eprints.nottingham.ac.uk/32703/

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1471986
• Cut as consequence
• The cutting of compositions
• The cutting of compositions
• Methods of cut-elimination
• Multi-focused cut elimination
• Dispensing with the continuum
• Cut elimination in categories
• Cutting a part from many measures

Cites work

• A functional correspondence between call-by-need evaluators and lazy abstract machines
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• Calculating correct compilers
• Deriving Target Code as a Representation of Continuation Semantics
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• The Mechanical Evaluation of Expressions

Cited in

(8)

• Don't eliminate cut
• The cutting of compositions
• Extended cuts
• Covering directed and odd cuts
• Contification using dominators
• Recycling continuations
• Programming language semantics: It’s easy as 1,2,3
• Deforestation: Transforming programs to eliminate trees

Describes a project that uses

Uses Software

• GitHub

This page was built for publication: Cutting Out Continuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188285)