joergensen95

Jesper J\orgensen. A Calculus for Boxing Analysis of Polymorphically Typed Languages. PhD Thesis DIKU, University of Copenhagen, October 1995.

Keyword

[ Parametricity ]

Contact

Jesper J\orgensen

BibTex Reference

@PhdThesis{joergensen95,
   Author = {J\orgensen, Jesper},
   Title = {A Calculus for Boxing Analysis of Polymorphically Typed Languages},
   School = {DIKU, University of Copenhagen},
   Month = {October},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)