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

DOI10.4230/LIPICS.CSL.2018.21MaRDI QIDQ5079745FDOQ5079745

Authors: Paul Downen, Zena M. Ariola 

Publication date: 28 May 2022

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

zbMATH Keywords

controlpolaritycall-by-needcall-by-push-value

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programming with Focusing Proofs in Linear Logic
• The duality of computation
• Call-by-value is dual to call-by-name
• Title not available (Why is that?)
• Jumbo λ-Calculus
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Polarised intermediate representation of lambda calculus with sums
• Classical call-by-need and duality
• The Duality of Construction
• Models of a non-associative composition

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)