The Nimble Type Inferencer for Common Lisp-84 (1990)

Cached

Download Links

by Henry Baker Nimble , Henry G. Baker
Venue:Tech. Rept., Nimble Comp

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
944 A theory of type polymorphism in programming – Robin Milner - 1978
588 Connectionism and cognitive architecture: A critical analysis – J A Fodor, Z W Pylyshyn - 1988
952 The Generative Lexicon – James Pustejovsky - 1991
815 The Temporal Logic of Actions – Leslie Lamport - 1993