2596 search results - page 17 / 520 » Gradual Typing for Objects |
POPL
2010
ACM
15 years 6 months ago
2010
ACM
CONCUR
2000
Springer
15 years 1 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
POPL
1992
ACM
15 years 1 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
101
Voted
CTCS
1987
Springer
15 years 29 days ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...