MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Call-by-Need Lambda Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 29 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Call-by-Need Lambda Calculus  
  • by John Maraist, Martin Odersky, Philip Wadler — 1994 — Journal of Functional Programming
  • …The Call-by-Need Lambda Calculus John Maraist, Martin Odersky School of Computer and Information…
  • Cited by 28 (2 self) – Add To MetaCart
  • A Call-By-Need Lambda Calculus  
  • by Zena Ariola Computer, Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler — 1995
  • …A Call-By-Need Lambda Calculus Zena M. Ariola Computer & Information Science Department…
  • Add To MetaCart
  • Tracing Lazy Functional Languages  
  • by Jeremy Gibbons, Keith Wansbrough — 1996 — In Proceedings of Computing: The Australasian Theory Symposium
  • …. Keywords Functional programming, tracing, call-by-need, lambda calculus, lazy evaluation. 1 Tracing…
  • Cited by 2 (0 self) – Add To MetaCart
  • Uniqueness Typing Simplified  
  • by Edsko De Vries, Rinus Plasmeijer, David M Abrahamson
  • … in Sect. 8 with respect to the call-by-need lambda calculus [4]. 3 Attributes Are Types In this section…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB