Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
ISBN
Articles
Department
Mathematical and Computing Sciences
Matematik och datavetenskap
Matematik och datavetenskap
Defence location
Hörsalen, Matematiskt centrum, Eklandag 86 kl. 13.15