wrfe91

A. Wright, M. Felleisen. A Syntactic Approach to Type Soundness. Research Report Rice University, No 91, April 1991.

Keyword

[ Parametricity ]

Contact

Andrew K. Wright
Matthias Felleisen

BibTex Reference

@TechReport{wrfe91,
   Author = {Wright, A. and Felleisen, M.},
   Title = {A Syntactic Approach to Type Soundness},
   Number = {91},
   Institution = {Rice University},
   Month = {April},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)