Jörgen Gustavsson

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis

Tobias Gedell, Josef Svenningsson, Jörgen Gustavsson, 2006, APLAS.

Space-Safe Transformations and Usage Analysis for Call-by-Need Languages

Jörgen Gustavsson, 2001 .

Constraint Abstractions

Josef Svenningsson, Jörgen Gustavsson, 2001, PADO.

A Usage Analysis with Bounded Usage Polymorphism and Subtyping

Josef Svenningsson, Jörgen Gustavsson, 2000, IFL.

Lambda Calculi and Linear Speedups

Andrew Moran, David Sands, Jörgen Gustavsson, 2002, The Essence of Computation.

A Foundation for Space-Safe Transformations of Call-by-Need Programs

David Sands, Jörgen Gustavsson, David Sands, 1999, HOOTS.

A type based sharing analysis for update avoidance and optimisation

Jörgen Gustavsson, 1998, ICFP '98.

Possibilities and limitations of call-by-need space improvement

David Sands, Jörgen Gustavsson, David Sands, 2001, ICFP '01.