scientific article; zbMATH DE number 7243675

MaRDI QIDQ5119393

Zena M. Ariola, Paul Downen

Publication date: 4 September 2020

Full work available at URL: https://arxiv.org/abs/1907.13227

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• CompCert

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Call-by-push-value: Decomposing call-by-value and call-by-name
• On the expressive power of programming languages
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Untersuchungen über das logische Schliessen. I
• On the unity of duality
• Practical Foundations for Programming Languages
• Compositional semantics for composable continuations
• Compositional CompCert
• Deep Specifications and Certified Abstraction Layers
• Delimited control and computational effects
• A Systematic Approach to Delimited Control with Multiple Prompts
• The duality of computation
• Sequent calculus as a compiler intermediate language
• Classical Call-by-Need and Duality
• Jumbo λ-Calculus
• Focalisation and Classical Realisability
• Logic Programming with Focusing Proofs in Linear Logic
• The call-by-need lambda calculus
• Formulae-as-types for an involutive negation
• Call-by-value is dual to call-by-name
• Models of a Non-associative Composition
• Verified Compilation for Shared-Memory C
• Verifying an Open Compiler Using Multi-language Semantics
• The Duality of Construction