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

University
Göteborgs universitet/University of Gothenburg
Institution
Mathematical and Computing Sciences
Matematik och datavetenskap
Disputation
Hörsalen, Matematiskt centrum, Eklandag 86 kl. 13.15
Date of defence
2001-06-07
URI
http://hdl.handle.net/2077/15307
Collections
View/Open
Date
2001
Author
Gustavsson, Jörgen 1971-
Publication type
Doctoral thesis
Metadata
Show full item record