Jörgen Gustavsson

Publication Activity (10 Years)

Years Active: 1998-2006
Publications (10 Years): 0

Publications

Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. APLAS (2006)
David Sands, Jörgen Gustavsson, Andrew Moran
Lambda Calculi and Linear Speedups. The Essence of Computation (2002)
Jörgen Gustavsson, Josef Svenningsson
Constraint Abstractions. PADO (2001)
Jörgen Gustavsson, David Sands
Possibilities and Limitations of Call-by-Need Space Improvement. ICFP (2001)
Jörgen Gustavsson, Josef Svenningsson
A Usage Analysis with Bounded Usage Polymorphism and Subtyping. IFL (2000)
Jörgen Gustavsson, David Sands
A Foundation for Space-Safe Transformations of Call-by-Need Programs. Electron. Notes Theor. Comput. Sci. 26 (1999)
Jörgen Gustavsson
A Type Based Sharing Analysis for Update Avoidance and Optimisation. ICFP (1998)