Travelled to:1 × France
1 × Ireland
1 × USA
Collaborated with:∅ M.Jäger M.Gloger
Talks about:overload (2) languag (2) type (2) polymorph (1) parametr (1) function (1) program (1) presenc (1) subtyp (1) recurs (1)
Person: Stefan Kaes
DBLP: Kaes:Stefan
Contributed to:
1992
1988
1988Wrote 3 papers:
- LFP-1992-Kaes #recursion #type inference #type system
- Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.
- ESOP-1988-Kaes #parametricity #polymorphism #programming language
- Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.
- VDME-1988-JagerGK #functional #named
- SAMPLE — A Functional Language (MJ, MG, SK), pp. 202–217.