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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 24.

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. (Full text available)
[img]
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 . (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1995) Confluence of Curried Term-Rewriting Systems. Journal of Symbolic Computation, 19 . pp. 601-623. (Full text available)
[img]
Preview
[img]
Preview

Sannella, Don and Tarlecki, Andrzej and Kahrs, Stefan (1994) Interfaces and Extended ML. SIGPLAN Notices, 29 (8). pp. 111-118. (Full text available)
[img]
Preview
[img]
Preview

Monograph

Kahrs, Stefan (1997) Lecture Notes on Formal Program Development. Technical report. University of Edinburgh (Full text available)
[img]
Preview
[img]
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)
[img] [img]

Kahrs, Stefan (1993) Mistakes and Ambiguities in the definition of Standard ML. Technical report. University of Edinburgh (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1992) Polymorphic Type Checking by Interpretation of Code. Technical report. (Full text available)
[img]
Preview
[img]
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, Don (1998) Reflections on the design of a specification language. In: Astesiano, Egidio, 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. (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1996) About the completeness of type systems. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1995) The variable containment problem. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1995) Towards a domain theory for termination proofs. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1994) First-class polymorphism for ML. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1993) Compilation of combinatory reduction systems. In: Heering, Jan and Meinke, Karl and Möller, Bernhard 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. (Full text available)
[img]
Preview
[img]

Kahrs, Stefan (1992) Unlimp -- uniqueness as a leitmotiv for implementation. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Fri Oct 24 18:44:20 2014 BST.