Cheap Eagerness: Speculative Evaluation in a Lazy Functional Language (2000)

Cached

Download Links

by Karl-Filip Faxen
Citations:7 - 2 self

Active Bibliography

1 Dynamic Cheap Eagerness – Karl-Filip Faxen - 2001
5 Representation Analysis for Coercion Placement – Karl-Filip Faxén
Polyvariance, Polymorphism and Flow Analysis – Karl-Filip Faxen
18 Systematic Realisation of Control Flow Analyses for CML – Kirsten L. Solberg Gasser, Flemming Nielson, Hanne Riis Nielson - 1997
20 Optimizing Lazy Functional Programs Using Flow Inference – Karl-Filip Faxen - 1995
12 Strictness and Totality Analysis – Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson - 1994
65 Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis – Flemming Nielson, Hanne Riis Nielson - 1997
15 A Usage Analysis With Bounded Usage Polymorphism and Subtyping – Jörgen Gustavsson, Josef Svenningsson - 2000
10 The Costs and Benefits of Cloning in a Lazy Functional Language – Karl-Filip Faxén - 2001
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
7 Strictness and Totality Analysis with Conjunction – Kirsten Lackner Solberg - 1995
5 On the power of abstract interpretation – Uday S. Reddy, Samuel N. Kamin - 1992
52 A practical and flexible flow analysis for higher-order languages – J. Michael Ashley, R. Kent Dybvig - 1996
17 Compilation of Functional Languages Using Flow Graph Analysis – Pieter H. Hartel, Hugh Glaser, John M. Wild - 1994
6 Towards the uniform implementation of declarative languages – Manuel M. T. Chakravarty, Hendrik C. R. Lock - 1997
4 Partitioning Non-strict Languages for Multi-threaded Code Generation – Satyan R. Coorg, Frederic R. Morgenthaler - 1994
15 Code optimizations for lazy evaluation – Adrienne Bloss, Paul Hudak, Jonathan Young - 1988
8 Deriving Analysers By Folding/unfolding of Natural Semantics and a Case Study: Slicing – Valérie Gouranton - 1998
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999