Principal type schemes for functional programs with overloading and subtyping
- 31 December 1994
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 23 (2-3), 197-226
- https://doi.org/10.1016/0167-6423(94)00020-4
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Type inference with subtypesTheoretical Computer Science, 1990
- Type inference with subtypesPublished by Association for Computing Machinery (ACM) ,1988
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- The Transitive Reduction of a Directed GraphSIAM Journal on Computing, 1972