72
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
77
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
82
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
90
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
93
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
92
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
135
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...