126 search results - page 2 / 26 » Session and Union Types for Object Oriented Programming |
SAC
2006
ACM
13 years 11 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
ESOP
1998
Springer
13 years 9 months ago
1998
Springer
ECOOP
1995
Springer
13 years 9 months ago
1995
Springer
COORDINATION
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...