Type Inference for Action Semantics

Susan Even, David A. Schmidt. Type Inference for Action Semantics. In Neil D. Jones, editor, ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Volume 432 of Lecture Notes in Computer Science, pages 118-133, Springer, 1990.

Abstract

Abstract is missing.