DMCA

Type variables simplify sub-typing (2006)

Cached

Download Links

by Barry Jay
Venue:Higher-Order Rewriting, electronic proceedings
Citations:2 - 0 self