Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

Number of items: 25.

Article

Kahrs, Stefan (2013) Infinitary rewriting: closure operators, equivalences and models. Acta Informatica, 50 (2). pp. 123-156. ISSN 0001-5903. The full text of this publication is not available from this repository.

Kahrs, Stefan (2010) Modularity of Convergence and Strong Convergence in Infinitary Rewriting. Logical Methods in Computer Science, 6 (3). pp. 182-196. The full text of this publication is not available from this repository.

Kahrs, Stefan (2007) Infinitary rewriting: meta-theory and convergence. Acta Informatica, 44 (2). pp. 91-121. ISSN 0001-5903.

Preview

Kahrs, Stefan (2001) Red-black trees with types. Journal of Functional Programming, 11 (4). pp. 425-432. The full text of this publication is not available from this repository.

Kahrs, Stefan and Sannella, Don and Tarlecki, Andrzej (1997) The semantics of Extended ML: A gentle introduction. Theoretical Computer Science, 173 (2). pp. 445-484. ISSN 0304-3975 .

Preview

Preview

Kahrs, Stefan (1995) Confluence of Curried Term-Rewriting Systems. Journal of Symbolic Computation, 19 . pp. 601-623.

Preview

Preview

Sannella, Don and Tarlecki, Andrzej and Kahrs, Stefan (1994) Interfaces and Extended ML. SIGPLAN Notices, 29 (8). pp. 111-118.

Preview

Preview

Monograph

Kahrs, Stefan (1997) Lecture Notes on Formal Program Development. Technical report. University of Edinburgh

Preview

Preview

Kahrs, Stefan and Sannella, Don and Tarlecki, Andrzej (1994) The definition of Extended ML. Technical report. University of Edinburgh Access to this publication is restricted.

Kahrs, Stefan (1993) Mistakes and Ambiguities in the definition of Standard ML. Technical report. University of Edinburgh

Preview

Preview

Kahrs, Stefan (1992) Polymorphic Type Checking by Interpretation of Code. Technical report.

Preview

Preview

Conference or workshop item

Kahrs, Stefan (2010) Infinitary Rewriting: Foundations Revisited. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications. The full text of this publication is not available from this repository.

Kahrs, Stefan (2009) Modularity of Convergence in Infinitary Rewriting. In: Rewriting Techniques and Applications, JUN 29-JUL 01, 2009, Brasilia, BRAZIL. The full text of this publication is not available from this repository.

Kahrs, Stefan (2006) Gene Expression Programming with Pre-Order Traversals. In: 6th International Conference on Recent Advances in Soft Computing, 10-12 July 2006, Canterbury, United Kingdom. The full text of this publication is not available from this repository.

Kahrs, Stefan (2006) Genetic Programming with Primitive Recursion. In: 2006 Genetic and Evolutionary Computation Conference, 8-12 July 2006 , Seattle, Washington (USA). The full text of this publication is not available from this repository.

Kahrs, Stefan (2003) Well-Going Programs Can Be Typed. In: Typed Lambda Calculi and Applications, Jun 10-12, 2003, Valencia, Spain, . The full text of this publication is not available from this repository.

Kahrs, Stefan and Sannella, D. (1998) Reflections on the design of a specification language. In: Astesiano, E., ed. Lecture Notes in Computer Science. Springer-Verlag Berlin pp. 154-170. ISBN 3-540-64303-6. The full text of this publication is not available from this repository.

Kahrs, Stefan (1996) Limits of ML-definability. In: UNSPECIFIED.

Preview

Preview

Kahrs, Stefan (1996) About the completeness of type systems. In: UNSPECIFIED.

Preview

Preview

Kahrs, Stefan (1995) The variable containment problem. In: UNSPECIFIED.

Preview

Preview

Kahrs, Stefan (1995) Towards a domain theory for termination proofs. In: UNSPECIFIED.

Preview

Preview

Kahrs, Stefan (1994) First-class polymorphism for ML. In: UNSPECIFIED.

Preview

Preview

Kahrs, Stefan (1993) Compilation of combinatory reduction systems. In: Heering, Jan and Meinke, Karl and Möller, B. and Nipkow, Tobias, eds. Higher-Order Algebra, Logic, and Term Rewriting. Lecture Notes in Computer Science, 816. Springer pp. 169-188. ISBN 3-540-58233-9.

Preview

Kahrs, Stefan (1992) Unlimp -- uniqueness as a leitmotiv for implementation. In: UNSPECIFIED.

Preview

Preview

This list was generated on Tue May 21 03:19:50 2013 BST.