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: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Ahmed_r.:an,
author = {Pervaiz Ahmed and Reza Tavakkoli-moghaddam and Nadim Safaei and Number Wp},
title = {R.: An Indexed Model},
booktitle = {of Impredicative Polymorphism and Mutable References, January 2003, Available at http://www.cs.princeton.edu/ ∼ appel/papers/impred.pdf},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A comparison of heuristic methods for
