Clement A. Baker-Finch Type Theory and Projections for Static Analysis. 267-285 1995 8 Lisp and Symbolic Computation 3 db/journals/lisp/lisp8.html#Baker-Finch95