author : Michael I. Schwartzbach

Books

• Object-Oriented Type Systems. 1994, with Jens Palsberg