le89

H. Lei\ss. Semi-Unification and Type Inference for Polymorphic Recursion. Research Report Siemens, No 0, 1989.

Keyword

[ Parametricity ]

Contact

Hans Lei\ss

BibTex Reference

@TechReport{le89,
   Author = {Lei\ss, H.},
   Title = {Semi-Unification and Type Inference for Polymorphic Recursion},
   Number = {0},
   Institution = {Siemens},
   Address = {Munich, Germany},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)