Publication
-
Regular expressions for polynomial coalgebras Tech Report
January 2007
-
January 2007
-
A Complete Guide to the Future In Proceedings
January 2007 -
Tribe: a simple virtual class calculus In Proceedings
January 2007 -
Existential Owners for Ownership Types Article
Journal of Object Technology, 6(4), 141-159.January 2007
-
Coordination Models Orc and Reo Compared In Proceedings
January 2007 -
January 2007
-
Ownership, Uniqueness and Immutability In Proceedings
January 2007