Beyond polarity: towards a multi-discipline intermediate language with sharing

DOI10.4230/LIPICS.CSL.2018.21MaRDI QIDQ5079745zbMATH OpenFDO

Authors Paul Downen, Zena M. Ariola

Publication date 28 May 2022

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2018.21

zbMATH Keywords

controlpolaritycall-by-needcall-by-push-value

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Compiling with classical connectives
• On the unity of duality
• Useful Open Call-By-Need
• The call-by-need lambda calculus
• Weak optimality, and the meaning of sharing

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Call-by-value is dual to call-by-name
• Classical call-by-need and duality
• Jumbo λ-Calculus
• Logic Programming with Focusing Proofs in Linear Logic
• Models of a non-associative composition
• Polarised intermediate representation of lambda calculus with sums
• The Duality of Construction
• The duality of computation

Cited in

(1)

• Classical (co)recursion: Mechanics

This page was built for publication: Beyond polarity: towards a multi-discipline intermediate language with sharing

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