Stefan Kaes

According to our database, Stefan Kaes authored at least 5 papers between 1988 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Parametrischer Polymorphismus, Überladungen und Konversionen.

Stefan Kaes

PhD thesis, 2005

1992

Type Inference in the Presence of Overloading, Subtyping and Recursive Types.

Stefan Kaes

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

Utilizing Fifth Generation Technology in Software Development Tools.

Wolfgang Henhapl, Stefan Kaes, Gregor Snelting

Proceedings of the Software Development Environments and CASE Technology, 1991

1988

SAMPLE - A Functional Language.

Michael Jäger, Michael Gloger, Stefan Kaes

Proceedings of the VDM '88, 1988

Parametric Overloading in Polymorphic Programming Languages.

Stefan Kaes

Proceedings of the ESOP '88, 1988