Variable Access in Languages with Higher Order Procedures (1979)

Cached

Download Links

by A. Davie

Active Bibliography

6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
Lisp - Almost a whole Truth! – Christian Queinnec - 1989
22 Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same – Henry Baker - 1993
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
5 Semantics-based Program Analysis via Symbolic Composition of Transfer Relations – Christopher Colby, John Reynolds - 1996
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using . . . – Olivier Danvy, Chung-Chieh Shan, Ian Zerny
9 Calculating Software Generators from Solution Specifications – Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou - 1994
2 Mixing Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch - 2009
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
IOS Press There and Back Again – Olivier Danvy, Mayer Goldberg
Compiling Lazy Functional Languages: An introduction – Thomas Johnsson - 1987
Graph Reduction, and how to avoid it (extended abstract of talk) – Thomas Johnsson - 1995
unknown title – unknown authors
1 Using the Topological Characterization of Synchronous Models – Giovanni Adagio - 2002