dblp.uni-trier.dewww.uni-trier.de

Stefan Kahrs Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
18EEStefan Kahrs: Modularity of Convergence in Infinitary Rewriting. RTA 2009: 179-193
2007
17EEStefan Kahrs: Infinitary rewriting: meta-theory and convergence. Acta Inf. 44(2): 91-121 (2007)
2006
16EEStefan Kahrs: Genetic programming with primitive recursion. GECCO 2006: 941-942
2003
15EEStefan 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
13EEStefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170
1997
12EEStefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)
1996
11EEStefan Kahrs: Limits of ML-Definability. PLILP 1996: 17-31
1995
10 Stefan Kahrs: The Variable Containment Problem. HOA 1995: 109-123
9EEStefan 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
7EEStefan 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
1EEStefan Kahrs: Unlimp, Uniqueness as a Leitmotiv for Implementation. PLILP 1992: 115-129

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)