Robert Cartwright

1949

• A practical formal semantic definition and verification system for TYPED LISP