Sharing continuations: Proofnets for languages with explicit control

DOI10.1007/3-540-46425-5_16MaRDI QIDQ4518884zbMATH OpenFDO

Authors Julia L. Lawall, Harry G. Mairson

Publication date 3 December 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46425-5_16

zbMATH Keywords

graph reduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A general theory of sharing graphs
• Coherence for sharing proof-nets
• Programs with continuations and linear logic
• Coherence for sharing proof nets
• Programs with continuations and linear logic

This page was built for publication: Sharing continuations: Proofnets for languages with explicit control

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