Launchbury

MaRDI QIDQ40966swMATHFDO

Authors Joachim Breitner

Publication date 31 January 2013

Official website https://www.isa-afp.org/entries/Launchbury.html

Cites work

• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• An operational semantics for parallel lazy evaluation
• Deriving a lazy abstract machine
• Full abstraction in the lazy lambda calculus
• General bindings and alpha-equivalence in Nominal Isabelle
• Small-step and big-step semantics for call-by-need
• The role of indirections in lazy natural semantics

Cited in

(2)

• Call_Arity
• The adequacy of Launchbury's natural semantics for lazy evaluation

This page was built for software: Launchbury