author : Jens Palsberg

Books

• Object-Oriented Type Systems. 1994, with Michael I. Schwartzbach