Robert George Kopas

• The design and implementation of a specification language type checker