Stefan Kahrs

	2009
18		Stefan Kahrs: Modularity of Convergence in Infinitary Rewriting. RTA 2009: 179-193
	2007
17		Stefan Kahrs: Infinitary rewriting: meta-theory and convergence. Acta Inf. 44(2): 91-121 (2007)
	2006
16		Stefan Kahrs: Genetic programming with primitive recursion. GECCO 2006: 941-942
	2003
15		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		Stefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170
	1997
12		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

Coauthor Index

1	Donald Sannella	[3] [6] [12] [13]
2	Andrzej Tarlecki	[3] [6] [12]