Skip to main content
Kent Academic Repository

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: 6.

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 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

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

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

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)
[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 currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

This list was generated on Sun May 26 02:21:41 2019 BST.