Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Mathematical and Computing Sciences
Matematik och datavetenskap
Disputation
Hörsalen, Matematiskt centrum, Eklandag 86 kl. 13.15
Datum för disputation
2001-06-07
Fil(er)
Datum
2001Författare
Gustavsson, Jörgen 1971-
Publikationstyp
Doctoral thesis