157
Voted
POPL
1991
ACM
15 years 11 months ago
1991
ACM
143
Voted
POPL
1991
ACM
15 years 11 months ago
1991
ACM
159
Voted
POPL
1991
ACM
15 years 11 months ago
1991
ACM
190
Voted
POPL
1991
ACM
15 years 11 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,...
169
Voted
POPL
1991
ACM
15 years 11 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...
174
Voted
POPL
1991
ACM
15 years 11 months ago
1991
ACM
230
click to vote
POPL
1991
ACM
15 years 11 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...