Parametric Overloading in Polymorphic Programming Languages. - Stefan Kaes (ESOP, 1988)

SAMPLE - A Functional Language. - Michael Jäger; Michael Gloger; Stefan Kaes (VDM Europe, 1988)

Utilizing Fifth Generation Technology in Software Development Tools. - Wolfgang Henhapl; Stefan Kaes; Gregor Snelting (Software Development Environments and CASE Technology, 1991)

Type Inference in the Presence of Overloading, Subtyping and Recursive Types. - Stefan Kaes (LISP and Functional Programming, 1992)

Parametrischer Polymorphismus, Überladungen und Konversionen. - Stefan Kaes (2005)