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

Cached

Download Links

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