Andrew Wright. Polymorphism for Imperative Languages without Imperative Types. Research Report Rice University, No 0, February 1993.
[ Parametricity ]
@TechReport{wright93,
Author = {Wright, Andrew},
Title = {Polymorphism for Imperative Languages without Imperative Types},
Number = {0},
Institution = {Rice University},
Month = {February},
Year = {1993}
}
Get EndNote Reference (.ref)