Type Checking Evolving Languages with MSOS

Mark G. J. van den Brand, A. P. van der Meer, Alexander Serebrenik. Type Checking Evolving Languages with MSOS. In Jens Palsberg, editor, Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Volume 5700 of Lecture Notes in Computer Science, pages 207-226, Springer, 2009. [doi]

Authors

M. G. J. van den Brand

Identified as Mark G. J. van den Brand

A. P. van der Meer

This author has not been identified. Look up 'A. P. van der Meer' in Google

Alexander Serebrenik

Identified as Alexander Serebrenik