A Rational Deconstruction of Landin's J Operator
release_23bkms56nvbfzjlgross556vhm
by
Olivier Danvy, Kevin Millikin
Abstract
Landin's J operator was the first control operator for functional languages, and was specified with an extension of the SECD machine. Through a series of meaning-preserving transformations (transformation into continuation-passing style (CPS) and defunctionalization) and their left inverses (transformation into direct style and refunctionalization), we present a compositional evaluation function corresponding to this extension of the SECD machine. We then characterize the J operator in terms of CPS and in terms of delimited-control operators in the CPS hierarchy. Finally, we present a motivated wish to see Landin's name added to the list of co-discoverers of continuations.
In application/xml+jats
format
Archived Files and Locations
application/pdf 188.8 kB
file_amplqqyqsbfprhvm4gl2ppjrge
|
web.archive.org (webarchive) www.brics.dk (web) |
application/pdf 260.7 kB
file_5u2jygblpzfevjmts7jxuoduum
|
www.brics.dk (web) cs.au.dk (web) web.archive.org (webarchive) web.archive.org (webarchive) |
article-journal
Stage
published
Date 2006-02-12
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar