Ownership Type Systems and Dependent Classes

Thumbnail
Metadata only
Author
Dietl, Werner
Müller, Peter
Date
2008
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
2008 International Workshop on Foundations of Object-Oriented Languages (FOOL'08) : Workshop Program and Proceedings
Publisher
FOOL
Event
2008 International Workshop on Foundations of Object-Oriented Languages (FOOL '08), San Francisco, USA, January 13, 2008
Subject
Ownership type systems; Universes; ownership domains; dependent classes; virtual classes
Organisational unit
03653 - Müller, Peter
03594 - Meyer, Bertrand (emeritus)
Notes
.
More
Show all metadata
Altmetrics