• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

1

Cached

  • Download as a PDF

Download Links

  • [cs.ioc.ee]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Unknown Authors
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University