Stefan Kaes

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Stefan Kaes
Type Inference in the Presence of Overloading, Subtyping and Recursive Types. LISP and Functional Programming (1992)
Wolfgang Henhapl, Stefan Kaes, Gregor Snelting
Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology (1991)
Michael Jäger, Michael Gloger, Stefan Kaes
SAMPLE - A Functional Language. VDM Europe (1988)
Stefan Kaes
Parametric Overloading in Polymorphic Programming Languages. ESOP (1988)