An Indexed Model of Impredicative Polymorphism and Mutable References (2003)

Cached

Download Links

by Amal Ahmed , Andrew W. Appel , Roberto Virga
Citations:17 - 6 self