POPL
1991
ACM
15 years 3 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,...
91
Voted
POPL
1991
ACM
15 years 3 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...
POPL
1991
ACM
15 years 3 months ago
1991
ACM
134
Voted
POPL
1991
ACM
15 years 3 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...
81
Voted
PLDI
1991
ACM
15 years 3 months ago
1991
ACM
85
Voted
PLDI
1991
ACM
15 years 3 months ago
1991
ACM
135
click to vote
PLDI
1991
ACM
15 years 3 months ago
1991
ACM
o Authors of Extended Abstracts William Pugh Dept. of Computer Science and Institute for Advanced Computer Studies Univ. of Maryland, College Park March 16, 1993 This article stems...
67
Voted
PLDI
1991
ACM
15 years 3 months ago
1991
ACM
71
Voted
PLDI
1991
ACM
15 years 3 months ago
1991
ACM