Stefan Kaes

Parametrischer Polymorphismus, Überladungen und Konversionen

Stefan Kaes, 2005 .

Utilizing Fifth Generation Technology in Software Development Tools

Gregor Snelting, Stefan Kaes, Wolfgang Henhapl, 1991, Software Development Environments and CASE Technology.

SAMPLE - A Functional Language

Stefan Kaes, M. Jäger, Michael Gloger, 1988, VDM Europe.

Addison-wesley professional ruby series writing efficient ruby code

Stefan Kaes, 2007 .

Parametric Overloading in Polymorphic Programming Languages

Stefan Kaes, S. Kaes, 1988, ESOP.

Type inference in the presence of overloading, subtyping and recursive types

Stefan Kaes, 1992, LFP '92.