The Role of Indirections in Lazy Natural Semantics

DOI10.1007/978-3-662-46823-4_24zbMath1434.68295OpenAlexW2274721519MaRDI QIDQ3455082

Yolanda Ortega-Mallén, Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero

Publication date: 3 December 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_24

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

The Role of Indirections in Lazy Natural Semantics ⋮ The adequacy of Launchbury's natural semantics for lazy evaluation

Cites Work

• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Isabelle/HOL. A proof assistant for higher-order logic
• The locally nameless representation
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• An operational semantics for parallel lazy evaluation
• Engineering formal metatheory
• The Role of Indirections in Lazy Natural Semantics
• Barendregt’s Variable Convention in Rule Inductions
• Small-step and big-step semantics for call-by-need
• Deriving a lazy abstract machine
• The adequacy of Launchbury's natural semantics for lazy evaluation
• General Bindings and Alpha-Equivalence in Nominal Isabelle

This page was built for publication: The Role of Indirections in Lazy Natural Semantics