| 2006 |
|---|
| 7 | EE | Tobias Gedell,
Jörgen Gustavsson,
Josef Svenningsson:
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.
APLAS 2006: 200-216 |
| 2002 |
|---|
| 6 | EE | David Sands,
Jörgen Gustavsson,
Andrew Moran:
Lambda Calculi and Linear Speedups.
The Essence of Computation 2002: 60-84 |
| 2001 |
|---|
| 5 | | Jörgen Gustavsson,
David Sands:
Possibilities and Limitations of Call-by-Need Space Improvement.
ICFP 2001: 265-276 |
| 4 | EE | Jörgen Gustavsson,
Josef Svenningsson:
Constraint Abstractions.
PADO 2001: 63-83 |
| 2000 |
|---|
| 3 | EE | Jörgen Gustavsson,
Josef Svenningsson:
A Usage Analysis with Bounded Usage Polymorphism and Subtyping.
IFL 2000: 140-157 |
| 1999 |
|---|
| 2 | EE | Jörgen Gustavsson,
David Sands:
A Foundation for Space-Safe Transformations of Call-by-Need Programs.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 1998 |
|---|
| 1 | EE | Jörgen Gustavsson:
A Type Based Sharing Analysis for Update Avoidance and Optimisation.
ICFP 1998: 39-50 |
