Typing algorithm in type theory with inheritance

Publisher Website

1 January 1997

conference paper
conference paper
Published by Association for Computing Machinery (ACM)

p. 292-301
https://doi.org/10.1145/263699.263742

Abstract

No abstract available

Keywords

Cited by 48 articles