A lambda-revelation of the SECD machine

A lambda-revelation of the SECD machine (2003)

Cached

Download Links

by Olivier Danvy

Citations:

BibTeX

@TECHREPORT{Danvy03alambda-revelation,
    author = {Olivier Danvy},
    title = {A lambda-revelation of the SECD machine},
    institution = {},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Citations

533	A transformation system for developing recursive programs - Burstall, Darlington - 1977
433	Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Stoy - 1977
303	Denotational Semantics: A Methodology for Language Development - SCHMIDT - 1986
299	The mechanical evaluation of expressions - Landin - 1964
267	Control-flow Analysis of Higher-Order Languages - Shivers - 1991
263	Definitional interpreters for higher-order programming languages - Reynolds - 1972
122	The theory and practice of first-class prompts - Felleisen - 1988
116	Representing monads - Filinski - 1994
101	Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation - Olivier - 1992
79	A generic account of continuation-passing styles - Hatcli, Danvy - 1994
65	The Formal Semantics of Programming Languages. Foundations of Computer Science Series - Winskel - 1993
59	Defunctionalization at work - Danvy, Nielsen - 2001
44	Back to direct style - Danvy
38	The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages - Felleisen - 1987
29	Type-driven defunctionalization - Bell, Bellegarde, et al. - 1997
24	Programming languages and lambda calculi, unpublished lecture notes available at and last accessed in - Felleisen, Flatt - 2008
22	Design and correctness of program transformations based on controlflow analysis - Banerjee, Heintze, et al.
18	Also available online at http://www.dina.kvl.dk/~sestoft/pebook /pebook.html - Jones, Gomard, et al. - 1993
17	Essentials of Programming Languages, second edition - Friedman, Wand, et al. - 2001
13	The next 700 formal language descriptions - Morris - 1993
13	The art of the interpreter or, the modularity complex (parts zero, one, and two - Sussman - 1978
12	An introduction to Landin’s “A generalization of jumps and labels - Thielecke - 1998
10	A denotational investigation of defunctionalization - Nielsen - 2000