Simplifying Subtyping Constraints: A Theory (2000)

Cached

Download Links

by François Pottier
Citations:40 - 5 self