A practical approach to type inference for EuLisp
- 1 August 1993
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 6 (1-2), 159-175
- https://doi.org/10.1007/bf01025919
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An overview ofEuLispHigher-Order and Symbolic Computation, 1993
- Global tagging optimization by type inferencePublished by Association for Computing Machinery (ACM) ,1992
- TICL—A type inference system for Common LispSoftware: Practice and Experience, 1990
- Tags and type checking in LISP: hardware and software approachesACM SIGOPS Operating Systems Review, 1987
- Preliminary report on a practical type inference system for common LispACM SIGPLAN Lisp Pointers, 1987
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- A Scheme for the Automatic Inference of Variable TypesJournal of the ACM, 1980
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Binding time optimization in programming languagesPublished by Association for Computing Machinery (ACM) ,1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965