BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kahrs:Stefan

Contributed to:

RTA 20102010
RTA 20092009
TLCA 20032003
FASE 19981998
PLILP 19961996
RTA 19951995
ESOP 19941994
PLILP 19921992

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.