Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 6.
Article
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) |
Sannella, Don and Tarlecki, Andrzej and Kahrs, Stefan (1994) Interfaces and Extended ML. SIGPLAN Notices, 29 (8). pp. 111-118. (Full text available) |
Book section
King, Andy (1994) A Synergistic Analysis for Sharing and Groundness which traces Linearity. In: Sannella, Don, ed. European Symposium on Programming. Lecture Notes in Computer Science, 788 . Springer-Verlag, pp. 363-378. ISBN 3-540-57880-3. (Full text available) |
Monograph
Kahrs, Stefan and Sannella, Don and Tarlecki, Andrzej (1994) The definition of Extended ML. Technical report. University of Edinburgh (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
Conference or workshop item
Kahrs, Stefan and Sannella, Don (1998) Reflections on the design of a specification language. In: Astesiano, Egidio, ed. Fundamental Approaches to Software Engineering. Springer-Verlag Berlin pp. 154-170. ISBN 3-540-64303-6. (doi:https://doi.org/10.1007/BFb0053578) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Kahrs, Stefan (1994) First-class polymorphism for ML. In: UNSPECIFIED. (Full text available) |