A practical formalsemantic definition and verification system for TYPED LISP
By: Robert Cartwright, Jr.
Series: Outstanding dissertations in the computer sciences
Publisher: Garland Pub
Published: 1979
Place of publication: New York
Language: eng
Subjects: LISP (Computer program language)
Notes: Originally presented as the author's thesis, Stanford Universiy, 1976.

Bibliography, p.