Towards an Operational Semantics for a Parallel Non-strict Functional Language (1998)

Cached

Download Links

by Jon G. Hall , Clem Baker-finch , Phil Trinder , David J. King
Citations:7 - 2 self

Documents Related by Co-Citation

186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
5 Parallel Cost Centre Profiling – Kevin Hammond, Hans-wolfgang Loidl, Phil Trinder - 1997
28 Granularity in Large-Scale Parallel Functional Programming – Hans Wolfgang Loidl - 1998
40 Time and Space Profiling for Non-Strict, Higher-Order Functional Languages – Patrick M. Sansom, Simon L. Peyton Jones - 1995
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 A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail) – Philip J. Koopman, Jr., Peter Lee - 1989
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
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