Operations on Records

Authors:
Luca Cardelli;John C. Mitchell
Affiliations:
-;-
Venue:
Proceedings of the 5th International Conference on Mathematical Foundations of Programming Semantics
Year:
1989

Citing 0
Cited 3

PER models of subtyping, recursive types and higher-order polymorphism

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intersection types and bounded polymorphism

Mathematical Structures in Computer Science
Anti-symmetry of higher-order subtyping and equality by subtyping

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract