Call_Arity

MaRDI QIDQ43944swMATHFDO

Authors Joachim Breitner

Publication date 20 February 2015

Official website https://www.isa-afp.org/entries/Call_Arity.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)

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

This page was built for software: Call_Arity