A Rational Deconstruction of Landin’s J Operator

DOI10.1007/11964681_4zbMath1236.68026OpenAlexW2168056744MaRDI QIDQ3623949

Olivier Danvy, Kevin Millikin

Publication date: 28 April 2009

Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11964681_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

A syntactic correspondence between context-sensitive calculi and abstract machines

This page was built for publication: A Rational Deconstruction of Landin’s J Operator