`Travelled to:`

1 × Belgium

1 × Brazil

1 × Portugal

1 × Spain

2 × Germany

2 × United Kingdom

`Collaborated with:`

∅ D.Sannella

`Talks about:`

infinitari (2) rewrit (2) ml (2) polymorph (1) leitmotiv (1) implement (1) revisit (1) reflect (1) program (1) modular (1)

## Person: Stefan Kahrs

### DBLP: Kahrs:Stefan

### Contributed to:

### Wrote 8 papers:

- RTA-2010-Kahrs #revisited
- Infinitary Rewriting: Foundations Revisited (SK), pp. 161–176.
- RTA-2009-Kahrs #composition #convergence
- Modularity of Convergence in Infinitary Rewriting (SK), pp. 179–193.
- TLCA-2003-Kahrs #source code
- Well-Going Programs Can Be Typed (SK), pp. 167–179.
- FASE-1998-KahrsS #design #specification
- Reflections on the Design of a Specification language (SK, DS), pp. 154–170.
- PLILP-1996-Kahrs
- Limits of ML-Definability (SK), pp. 17–31.
- RTA-1995-Kahrs #proving #termination #towards
- Towards a Domain Theory for Termination Proofs (SK), pp. 241–255.
- ESOP-1994-Kahrs #ml #morphism #polymorphism
- First-Class Polymorphism for ML (SK), pp. 333–347.
- PLILP-1992-Kahrs #implementation
- Unlimp, Uniqueness as a Leitmotiv for Implementation (SK), pp. 115–129.