Stefan Kahrs

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j6		Stefan Kahrs: Infinitary rewriting: closure operators, equivalences and models. Acta Inf. 50(2): 123-156 (2013)
	2010
j5		Stefan Kahrs: Modularity of Convergence and Strong Convergence in Infinitary Rewriting. Logical Methods in Computer Science 6(3) (2010)
c15		Stefan Kahrs: Infinitary Rewriting: Foundations Revisited. RTA 2010: 161-176
	2009
c14		Stefan Kahrs: Modularity of Convergence in Infinitary Rewriting. RTA 2009: 179-193
	2007
j4		Stefan Kahrs: Infinitary rewriting: meta-theory and convergence. Acta Inf. 44(2): 91-121 (2007)
	2006
c13		Stefan Kahrs: Genetic programming with primitive recursion. GECCO 2006: 941-942
	2003
c12		Stefan Kahrs: Well-Going Programs Can Be Typed. TLCA 2003: 167-179
	2001
j3		Stefan Kahrs: Red-black trees with types. J. Funct. Program. 11(4): 425-432 (2001)
	1998
c11		Stefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170
	1997
j2		Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)
	1996
c10		Stefan Kahrs: Limits of ML-Definability. PLILP 1996: 17-31
	1995
j1		Stefan Kahrs: Confluence of Curried Term-Rewriting Systems. J. Symb. Comput. 19(6): 601-623 (1995)
c9		Stefan Kahrs: The Variable Containment Problem. HOA 1995: 109-123
c8		Stefan Kahrs: Towards a Domain Theory for Termination Proofs. RTA 1995: 241-255
	1994
c7		Stefan Kahrs: First-Class Polymorphism for ML. ESOP 1994: 333-347
c6		Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118
	1993
c5		Stefan Kahrs: Compilation of Combinatory Reduction Systems. HOA 1993: 169-188
c4		Stefan Kahrs: PAⁿⁿdA Standard Types and Predefined Type Schemata. PROSPECTRA Book 1993: 239-249
c3		Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215
	1992
c2		Stefan Kahrs: Context Rewriting. CTRS 1992: 21-35
c1		Stefan Kahrs: Unlimp, Uniqueness as a Leitmotiv for Implementation. PLILP 1992: 115-129

Coauthor Index

1	Donald Sannella	[c11] [j2] [c6] [c3]
2	Andrzej Tarlecki	[j2] [c6] [c3]

Last update Sat May 25 08:47:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page