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.