Documents Related by Co-Citation

10 Hugs 98 User Manual – M Jones, J Peterson - 1999
2 Proof Tool Support for Explicit Strictness – Marko Van Eekelen, Maarten De Mol
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
7 An operational semantics for the parallel language Eden – M Hidalgo-Herrero, Y Ortega-Mallén
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
4 Automatic Generation of Editors for Higher-Order Data Structures – P. Achten, M. Van Eekelen, R. Plasmeijer, A. van Weelden, Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden - 2004
8 Optimal reduction in weak lambda-calculus with shared environments – N Yoshida - 1993
3 Eekelen. A proof tool dedicated to Clean – M de Mol, M van - 1999
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
13 The Implementation of iData - A Case Study in Generic Programming – Rinus Plasmeijer, Peter Achten - 2005
4 Optimal reduction in weak-λ-calculus with shared environments – N Yoshida - 1993