Concept
Uniqueness type
Related publications (7)
Foundations of Path-Dependent Types
Martin Odersky, Tiark Rompf, Nada Amin
A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. An essential ingredient of this unification is the concept of objects wit ...
Assoc Computing Machinery2014Capabilities for Uniqueness and Borrowing
Martin Odersky, Philipp Haller
An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...
Springer2010Improving API Documentation for Java-like Languages
Gilles Dubochet, Donna Malayeri
The Javadoc paradigm for displaying API documentation to users is quite popular, with similar variants existing for many mainstream languages. However, two user interface design properties of Javadoc may reduce its utility when displaying documentation for ...
2010Isolated Actors for Race-Free Concurrent Programming
Message-based concurrency using actors has the potential to scale from multicore processors to distributed systems. However, several challenges remain until actor-based programming can be applied on a large scale. First, actor implementations must be effic ...
EPFL2010Capabilities for Uniqueness and Borrowing
Martin Odersky, Philipp Haller
An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...
2009Capabilities for External Uniqueness
Martin Odersky, Philipp Haller
Unique object references have many important applications in object-oriented programming. For instance, with sufficient encapsulation properties they enable safe and efficient transfer of message objects between concurrent processes. However, it is a long- ...
2009Foundations for SCALA
SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity makes ...
EPFL2006