10 search results - page 1 / 2 » popl 1995 |
POPL
1995
ACM
15 years 1 months ago
1995
ACM
67
Voted
POPL
1995
ACM
15 years 1 months ago
1995
ACM
POPL
1995
ACM
15 years 1 months ago
1995
ACM
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation. Obliq objects have state and are local to a site. Obliq computati...
80
Voted
POPL
1995
ACM
15 years 1 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
87
Voted
POPL
1995
ACM
15 years 1 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...