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.

Authors

Susan Even

This author has not been identified. Look up 'Susan Even' in Google

David A. Schmidt

This author has not been identified. Look up 'David A. Schmidt' in Google