128 search results - page 1 / 26 » Union types for object-oriented programming |
135
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
125
Voted
ESOP
1998
Springer
15 years 5 months ago
1998
Springer
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
102
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM