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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.