1992 | ||
---|---|---|
4 | EE | Stefan Kaes: Type Inference in the Presence of Overloading, Subtyping and Recursive Types. LISP and Functional Programming 1992: 193-204 |
1991 | ||
3 | Wolfgang Henhapl, Stefan Kaes, Gregor Snelting: Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology 1991: 153-166 | |
1988 | ||
2 | Stefan Kaes: Parametric Overloading in Polymorphic Programming Languages. ESOP 1988: 131-144 | |
1 | M. Jäger, Michael Gloger, Stefan Kaes: SAMPLE - A Functional Language. VDM Europe 1988: 202-217 |
1 | Michael Gloger | [1] |
2 | Wolfgang Henhapl | [3] |
3 | M. Jäger | [1] |
4 | Gregor Snelting | [3] |