An Action Semantics of Standard ML

David A. Watt. An Action Semantics of Standard ML. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Volume 298 of Lecture Notes in Computer Science, pages 572-598, Springer, 1987.

Abstract

Abstract is missing.