Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paul Hilfinger
Direct Function Calls in Lisp
Lisp and Symbolic Computation
Validating the Utility of Abstraction Techniques