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 restricted)
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 available from this repository)