The Semantics of Extended ML: A Gentle Introduction

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki. The Semantics of Extended ML: A Gentle Introduction. In D. J. Andrews, Jan Friso Groote, C. A. Middelburg, editors, Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, pages 186-215, Springer, 1993.

Abstract

Abstract is missing.