19798 search results - page 38 / 3960 » Is Structural Subtyping Useful |
106
click to vote
WETICE
1999
IEEE
15 years 6 months ago
1999
IEEE
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
117
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
AUTOMATICA
2008
15 years 2 months ago
2008
129
click to vote
MPC
2010
Springer
15 years 7 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...