Stefan Kahrs

发表

Compilation of Combinatory Reduction Systems

Stefan Kahrs, Stefan Kahrs, 1993, HOA.

Gene Expression Programming with Pre-Order Traversals

Stefan Kahrs, 2006 .

Infinitary rewriting: meta-theory and convergence

Stefan Kahrs, Stefan Kahrs, 2007, Acta Informatica.

Infinitary Rewriting: Foundations Revisited

Stefan Kahrs, Stefan Kahrs, 2010, RTA.

Mistakes and Ambiguities in the definition of Standard ML

Stefan Kahrs, Stefan Kahrs, 1993 .

The definition of Extended ML

Donald Sannella, Andrzej Tarlecki, Stefan Kahrs, 1994 .

Context Rewriting

Stefan Kahrs, Stefan Kahrs, 1992, CTRS.

Unlimp, Uniqueness as a Leitmotiv for Implementation

Stefan Kahrs, Stefan Kahrs, 1992, PLILP.

Lecture Notes on Formal Program Development

Stefan Kahrs, 1997 .

Modularity of Convergence and Strong Convergence in Infinitary Rewriting

Stefan Kahrs, Stefan Kahrs, 2010, Log. Methods Comput. Sci..

The Variable Containment Problem

Stefan Kahrs, Stefan Kahrs, 1995, HOA.

Infinitary rewriting: closure operators, equivalences and models

Stefan Kahrs, 2012, Acta Informatica.

Non-Omega-Overlapping TRSs are UN

Connor Smith, Stefan Kahrs, 2016, FSCD.

PAnndA Standard Types and Predefined Type Schemata

Stefan Kahrs, 1993, PROSPECTRA Book.

First-Class Polymorphism for ML

Stefan Kahrs, Stefan Kahrs, 1994, ESOP.

Regular Expressions - a Graphical User Interface

Stefan Kahrs, Stefan Kahrs, 2014 .

Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback).

Stefan Kahrs, 1998 .

Reflections on the Design of a Specification language

Donald Sannella, Stefan Kahrs, 1998, FASE.

Interfaces and extended ML

Donald Sannella, Andrzej Tarlecki, Stefan Kahrs, 1994 .

Towards a Domain Theory for Termination Proofs

Stefan Kahrs, Stefan Kahrs, 1995, RTA.

Limits of ML-Definability

Stefan Kahrs, Stefan Kahrs, 1996, PLILP.

Confluence of Curried Term-Rewriting Systems

Stefan Kahrs, 1995, J. Symb. Comput..

Modularity of Convergence in Infinitary Rewriting

Stefan Kahrs, 2009, RTA.

Well-Going Programs Can Be Typed

Stefan Kahrs, Stefan Kahrs, 2003, TLCA.

The Semantics of Extended ML: A Gentle Introduction

Donald Sannella, Andrzej Tarlecki, Stefan Kahrs, 1993, Semantics of Specification Languages.

Term Rewriting Systems by “Terese”, Cambridge University Press, 2003

Stefan Kahrs, 2005 .

Interfaces and extended ML

Donald Sannella, Andrzej Tarlecki, Stefan Kahrs, 1994, IDL '94.

The Definition of Extended ML: A Gentle Introduction

Donald Sannella, Andrzej Tarlecki, Stefan Kahrs, 1997, Theor. Comput. Sci..

Genetic programming with primitive recursion

Stefan Kahrs, Stefan Kahrs, 2006, GECCO '06.

On the Static Analysis of Extended Ml

Stefan Kahrs, 2007 .

About the completeness of type systems

Stefan Kahrs, Stefan Kahrs, 1996 .

Mistakes and Ambiguities in the Deenition of Standard Ml Structure of the Paper

Stefan Kahrs, 2007 .