248 search results - page 24 / 50 » Phantom types and subtyping |
110
click to vote
ACTA
2005
14 years 11 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
109
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
133
click to vote
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
WCRE
1998
IEEE
15 years 4 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...