Specifying Type Systems with Multi-Level Order-Sorted Algebra (1993)

by M Erwig
Venue:3rd Conf. on Algebraic Methodology and Software Technology