3394 search results - page 23 / 679 » Regular Object Types |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
CONCUR
2000
Springer
14 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
14 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...
OOPSLA
1990
Springer
14 years 1 months ago
1990
Springer
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
CTCS
1987
Springer
14 years 15 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...