Philipp Haller and Martin Odersky have submitted Capabilities for External Uniqueness to OOPSLA'09.
preservation theoremCapabilities for External UniquenessLambda the Ultimate - Programming Languages Weblog Thu, 04/09/2009 - 10:26
Tags:
|
