rehof96e

Jakob Rehof. Minimal Typings in Atomic Subtyping (Summary). Research Report DIKU, University of Copenhagen, 1996.

Keyword

[ Parametricity ]

Contact

Jakob Rehof

BibTex Reference

@TechReport{rehof96e,
   Author = {Rehof, Jakob},
   Title = {Minimal Typings in Atomic Subtyping (Summary)},
   Institution = {DIKU, University of Copenhagen},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)