| |
| 2007 | ||
|---|---|---|
| 17 | EE | Stefan Kahrs: Infinitary rewriting: meta-theory and convergence. Acta Inf. 44(2): 91-121 (2007) |
| 2006 | ||
| 16 | EE | Stefan Kahrs: Genetic programming with primitive recursion. GECCO 2006: 941-942 |
| 2003 | ||
| 15 | EE | Stefan Kahrs: Well-Going Programs Can Be Typed. TLCA 2003: 167-179 |
| 2001 | ||
| 14 | Stefan Kahrs: Red-black trees with types. J. Funct. Program. 11(4): 425-432 (2001) | |
| 1998 | ||
| 13 | EE | Stefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170 |
| 1997 | ||
| 12 | EE | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997) |
| 1996 | ||
| 11 | Stefan Kahrs: Limits of ML-Definability. PLILP 1996: 17-31 | |
| 1995 | ||
| 10 | Stefan Kahrs: The Variable Containment Problem. HOA 1995: 109-123 | |
| 9 | Stefan Kahrs: Towards a Domain Theory for Termination Proofs. RTA 1995: 241-255 | |
| 8 | Stefan Kahrs: Confluence of Curried Term-Rewriting Systems. J. Symb. Comput. 19(6): 601-623 (1995) | |
| 1994 | ||
| 7 | Stefan Kahrs: First-Class Polymorphism for ML. ESOP 1994: 333-347 | |
| 6 | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118 | |
| 1993 | ||
| 5 | Stefan Kahrs: Compilation of Combinatory Reduction Systems. HOA 1993: 169-188 | |
| 4 | Stefan Kahrs: PAnndA Standard Types and Predefined Type Schemata. PROSPECTRA Book 1993: 239-249 | |
| 3 | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215 | |
| 1992 | ||
| 2 | Stefan Kahrs: Context Rewriting. CTRS 1992: 21-35 | |
| 1 | Stefan Kahrs: Unlimp, Uniqueness as a Leitmotiv for Implementation. PLILP 1992: 115-129 | |
| 1 | Donald Sannella | [3] [6] [12] [13] |
| 2 | Andrzej Tarlecki | [3] [6] [12] |