CiteSeerX — 1

1

Cached

Download Links

[cs.ioc.ee]

by Unknown Authors

BibTeX

@MISC{_1,
    author = {},
    title = {1},
    year = {}
}

Bookmark

OpenURL

Abstract

doi:10.1017/S0956796809990219

Citations

169	A natural semantics for lazy evaluation, in - Launchbury - 1993
166	A call-by-need lambda calculus - Ariola, Felleisen, et al. - 1995
128	Full Abstraction in the Lazy Lambda Calculus - Abramsky, Ong - 1993
57	Deriving a lazy abstract machine - Sestoft - 1997
36	The call-by-need lambda calculus - Maraist, Odersky, et al. - 1998
34	Cyclic lambda graph rewriting - Ariola, Klop - 1994
26	Revised [6] report on the algorithmic language Scheme - Sperber, Dybvig, et al. - 2007
23	Call-by-name, call-by-value, and the λ-calculus. Theoretical Computer Science 1(2 - Plotkin - 1975
14	Initializing mutually referential abstract objects: The value recursion challenge - Syme - 2006
12	Call-by-need and continuation-passing style - Okasaki, Lee, et al. - 1993
8	Defunctionalized interpreters for programming languages - Danvy - 2008
5	A.: Lazy evaluation and delimited control - Garcia, Lumsdaine, et al. - 2009
5	Small-step and big-step semantics for call-by-need - Nakata, Hasegawa - 2009
2	The Objective Caml system, release 3.11 [online]. Available at: http://caml.inria.fr/ (Accessed 29 - Leroy, Doligez, et al. - 2008
2	The F# programming language [online]. Available at: http://research.microsoft.com/en-us/um/people/curtisvv/fsharp_default.aspx (Accessed 29 - Syme, Margetson - 2008