TICL—A type inference system for Common Lisp

This publication has 8 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Preliminary report on a practical type inference system for common Lisp
  ACM SIGPLAN Lisp Pointers, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Performance and Evaluation of LISP Systems
  Published by MIT Press ,1985
• Miranda: A non-strict functional language with polymorphic types
  Lecture Notes in Computer Science, 1985
• A Scheme for the Automatic Inference of Variable Types
  Journal of the ACM, 1980
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• LISP 1.5 PROGRAMMER'S MANUAL
  Published by Defense Technical Information Center (DTIC) ,1962