R.: An Indexed Model

Cached

Download Links

by Pervaiz Ahmed , Reza Tavakkoli-moghaddam , Nadim Safaei , Number Wp
Venue:of Impredicative Polymorphism and Mutable References, January 2003, Available at http://www.cs.princeton.edu/ ∼ appel/papers/impred.pdf
Citations:2 - 2 self