Type reconstruction with recursive types and atomic subtyping
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 686-701
- https://doi.org/10.1007/3-540-56610-4_98
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Subtype inequalitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Efficient Inference of Partial TypesDAIMI Report Series, 1992
- Type inference for partial types is decidablePublished by Springer Nature ,1992
- Type inference with simple subtypesJournal of Functional Programming, 1991
- On the complexity of type inference with coercionPublished by Association for Computing Machinery (ACM) ,1989
- Type inference with partial typesPublished by Springer Nature ,1988
- Type inference with subtypesPublished by Springer Nature ,1988
- Automata-theoretic techniques for modal logics of programsJournal of Computer and System Sciences, 1986
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983