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.

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

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)
[img]
Preview

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 restricted)
[img] [img]

Conference or workshop item

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 (1994) First-class polymorphism for ML. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Wed Jul 23 21:25:39 2014 BST.