Preliminary report on a practical type inference system for common Lisp
- 1 June 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Lisp Pointers
- Vol. 1 (2), 5-11
- https://doi.org/10.1145/1317193.1317195
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A critique of common LISPPublished by Association for Computing Machinery (ACM) ,1984
- A Scheme for the Automatic Inference of Variable TypesJournal of the ACM, 1980
- Type checking in an imperfect worldPublished by Association for Computing Machinery (ACM) ,1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978