Cyclic Lambda Calculi (1997)

Cached

Download Links

by Zena M. Ariola , Stefan Blom
Citations:36 - 5 self

Documents Related by Co-Citation

186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
38 Lambda Calculus with Explicit Recursion – Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan-Willem Klop - 1996
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
22 A calculus for link-time compilation – Elena Machkasova, Franklyn A. Turbak - 2000
11 Call-by-name, call-by-need, and McCarthy’s Amb – A Moran - 1998
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
67 Deriving a Lazy Abstract Machine – Peter Sestoft - 1997
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
9 Lambda calculi plus letrec – Z M Ariola, S Blom - 1997
28 Skew confluence and the lambda calculus with letrec – AB02 Z M Ariola, S Blom
2 LabVIEW Student Edition 6i – National Instruments - 2001