Cited By
View all- Kessler RKrohnfeldt J(1990)A logical approach to program analysisLisp and Symbolic Computation10.1007/BF018060604:1(5-27)Online publication date: 1-Dec-1990
- Beer R(1993)Compile-Time Type Prediction and Type Checking for Common Lisp ProgramsIntelligent Systems10.1007/978-1-4615-2836-4_8(127-142)Online publication date: 1993
- Teodosiu D(1991)HAREACM SIGPLAN Notices10.1145/122203.12221126:1(109-120)Online publication date: 1-Jan-1991
- Show More Cited By