Matching Constraints for the Lambda Calculus of Objects

Authors:
Viviana Bono;Michele Bugliesi
Affiliations:
-;-
Venue:
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Year:
1997

Citing 0
Cited 3

A lambda calculus of objects with self-inflicted extension

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An Interpretation of Extensible Objects

FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
A Subtyping for Extensible, Incomplete Objects

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract