A theory of qualified types
- 30 June 1994
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 22 (3), 231-256
- https://doi.org/10.1016/0167-6423(94)00005-0
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Inheritance and explicit coercionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965