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

Cached

Download Links

by Martin Erwig
Venue:3RD CONF. ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
Citations:2 - 2 self