A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail) (1989)

by Philip J. Koopman , Jr. , Peter Lee
Venue:SIGPLAN Notices
Citations:4 - 0 self

Documents Related by Co-Citation

190 A New implementation technique for applicative languages – D A Turner - 1979
10 Hugs 98 User Manual – M Jones, J Peterson - 1999
11 Parametric polymorphism and operational equivalence. Mathematical Structures in Computer Science, 10:321–359, 2000. A preliminary version appeared – A M Pitts - 1997
10 P-logic: property verification for Haskell programs – Richard B. Kieburtz - 2002
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
28 A simple, lazy abstract machine to execute supercombinators – Tim - 1987
4 From operational definitions to abstract semantics – S Purushothaman, J Seaman - 1993
3 Modèles fortement stables du Lambda-calcul et résultats d’incomplétude – O Bastonero - 1996
14 Some Results on the Full Abstraction Problem for Restricted Lambda Calculi – Furio Honsell, Marina Lenisa, Dedicated To Corrado Bohm - 1993
5 Comparing Reduction Strategies in Resource-Conscious Lambda Calculi – J Maraist - 1996
8 A Uniform Treatment of Order of Evaluation and Aggregate Update – M. Draghicescu, S. Purushothaman - 1993
8 Optimal reduction in weak lambda-calculus with shared environments – N Yoshida - 1993
7 Towards an Operational Semantics for a Parallel Non-strict Functional Language – Jon G. Hall, Clem Baker-finch, Phil Trinder, David J. King - 1998
10 The logic of demand in Haskell – W L Harrison, R B Kieburtz
4 Optimal reduction in weak-λ-calculus with shared environments – N Yoshida - 1993
3 Coherent Space – Jaroslaw Kotowicz, Konrad Raczkowski - 1998
3 Semánticas formales para un lenguaje funcional paralelo – M Hidalgo-Herrero - 2004
5 Taming Selective Strictness – Daniel Seidel, Janis Voigtländer
3 Ronchi Della Rocca. Structures for lazy semantics – O Bastonero, A Pravato, S - 1998