R.: An Indexed Model

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:3 - 3 self