Complexity Analysis for a Lazy Higher-Order Language (1990)

Cached

Download Links

by David Sands
Venue:In Proceedings of the 3rd European Symposium on Programming
Citations:48 - 2 self

Active Bibliography

Introducing Parallelism in a Lazy Functional Language – Nathan Charles - 1997
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
Introduction to Abstract Interpretation – Mads Rosendahl
49 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000