Ownership Type Systems and Dependent Classes

Metadata only

Author

Date

2008

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

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 / Müller, Peter
03594 - Meyer, Bertrand (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection