A Type Based Sharing Analysis for Update Avoidance and Optimisation. - Jörgen Gustavsson (ICFP, 1998)

A Foundation for Space-Safe Transformations of Call-by-Need Programs. - Jörgen Gustavsson; David Sands 001 (HOOTS, 1999)

A Usage Analysis with Bounded Usage Polymorphism and Subtyping. - Jörgen Gustavsson; Josef Svenningsson (IFL, 2000)

Possibilities and Limitations of Call-by-Need Space Improvement. - Jörgen Gustavsson; David Sands 001 (ICFP, 2001)

Constraint Abstractions. - Jörgen Gustavsson; Josef Svenningsson (PADO, 2001)

Lambda Calculi and Linear Speedups. - David Sands 001; Jörgen Gustavsson; Andrew Moran (The Essence of Computation, 2002)

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. - Tobias Gedell; Jörgen Gustavsson; Josef Svenningsson (APLAS, 2006)