Ownership Type Systems and Dependent Classes

Metadata only

Author

Dietl, Werner

Müller, Peter

Date

2008

Type

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

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

ETH Bibliography

yes

Altmetrics

Research Collection