Compile-Time Type Prediction and Type Checking for Common Lisp Programs
Reference22 articles.
1. Bauer, A.M. and Saal, H.J. (1974). Does APL really need run-time checking? Software — Practice and Experience 4: 129–138.
2. Beer, R. D. (1987). Preliminary report on a practical type inference system for Common Lisp. LISP Pointers 1(2): 5–11.
3. Borning, A.H. and Ingalls, D.H.H. (1982). A type declaration and inference system for Smalltalk. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages (pp. 133–141).
4. Brooks, R.A. and Gabriel, R.P. (1984). A critique of Common Lisp. In Proceedings of the 1984 Symposium on Lisp and Functional Programming (pp. 1–8).
5. Brooks, R.A., Gabriel, R.P. and Steele, G.L. Jr. (1982). An optimizing compiler for lexically scoped LISP. In Proceedings of the 1982 ACM Symposium on Compiler Construction (pp. 261–275).