A Theory of Core Fudgets (1998)

Cached

Download Links

by Colin J. Taylor
Venue:Proc. ICFP'98, ACM
Citations:1 - 0 self

Documents Related by Co-Citation

235 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
225 A powerdomain construction – G. D. Plotkin - 1976
224 CML: A higher-order concurrent language – John H Reppy - 1991
212 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
196 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
193 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
85 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, AndrĂ© L M Santos - 1998
83 Power domains – Michael B Smyth - 1978
72 Power domains and predicate transformers: A topological view, Automata, languages and programming – M B Smyth - 1983
71 Deriving a Lazy Abstract Machine – Peter Sestoft - 1997