Browse by Person (creator, editor, contributor, etc.)
Number of items: 6.
Kahrs, Stefan and Sannella, Don and Tarlecki, Andrzej
The definition of Extended ML.
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
Reflections on the design of a specification language.
In: Astesiano, Egidio, ed.
Lecture Notes in Computer Science.
(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)