Amokrane Saïbi. Typing Algorithm in Type Theory with Inheritance. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 292-301, 1997. [doi]
@inproceedings{Saibi97,
title = {Typing Algorithm in Type Theory with Inheritance},
author = {Amokrane Saïbi},
year = {1997},
doi = {10.1145/263699.263742},
url = {http://doi.acm.org/10.1145/263699.263742},
tags = {type theory},
researchr = {https://researchr.org/publication/Saibi97},
cites = {0},
citedby = {0},
pages = {292-301},
booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}