A modest model of records, inheritance, and bounded quantification

Authors:
Kim B. Bruce;Giuseppe Longo
Affiliations:
-;-
Venue:
Theoretical aspects of object-oriented programming
Year:
1994

Citing 0
Cited 2

Weakly Constraining Multimedia Types Based on a Type Embedding Ordering

MIS '98 Proceedings of the 4th International Workshop on Advances in Multimedia Information Systems
Intersection types and bounded polymorphism

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract