Searching for authors named "Stefan Kahrs" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Limits of ML-definability
- …Limits of ML-definability Stefan Kahrs University of Edinburgh Laboratory for Foundations…
- Cited by 5 (1 self) – Add To MetaCart
-
Confluence of Curried Term-Rewriting Systems
- …J. Symbolic Computation (1995) 11, 1--000 Confluence of Curried Term-Rewriting Systems STEFAN…
- Cited by 8 (0 self) – Add To MetaCart
-
Compilation of Combinatory Reduction Systems
- …C o m p i l a t i o n o f C o m b i n a t o r y R e d u c t i o n Sy s t e m s Stefan Kahrs…
- Cited by 4 (0 self) – Add To MetaCart
-
Polymorphic Type Checking by Interpretation of Code
- …Polymorphic Type Checking by Interpretation of Code Stefan Kahrs University of Edinburgh…
- Cited by 1 (0 self) – Add To MetaCart
-
Mistakes and Ambiguities in the Definition of Standard ML
- …Mistakes and Ambiguities in the Definition of Standard ML Stefan Kahrs University of Edinburgh…
- Cited by 20 (5 self) – Add To MetaCart
-
Unlimp - Uniqueness as a Leitmotiv for Implementation
- …U n l i m p U n i q u e n e s s a s a L e i t m o t i v fo r Im p l e m e n t a t i o n Stefan…
- Cited by 5 (2 self) – Add To MetaCart
-
Reflections on the Design of a Specification Language
- …Reflections on the Design of a Specification Language Stefan Kahrs Donald Sannella y Laboratory…
- Cited by 2 (1 self) – Add To MetaCart
-
Interfaces and Extended ML
- …Interfaces and Extended ML Stefan Kahrs Donald Sannella y Andrzej Tarlecki z Abstract…
- Add To MetaCart
-
The Definition of Extended ML
- …The Definition of Extended ML Stefan Kahrs Donald Sannella Andrzej Tarlecki y --- Version 1…
- Cited by 9 (4 self) – Add To MetaCart
-
The definition of Extended ML: a gentle introduction
- …The definition of Extended ML: a gentle introduction Stefan Kahrs y Donald Sannella z Andrzej…
- Cited by 31 (12 self) – Add To MetaCart
Showing 1 through 10.
