Peter de Bruin. Naturalness of Polymorphism. Research Report U. of Groningen, No 8916, September 1989.
[ Parametricity ] [ Typetheory ]
@TechReport{db89,
Author = {de Bruin, Peter},
Title = {Naturalness of Polymorphism},
Number = {8916},
Institution = {U. of Groningen},
Month = {September},
Year = {1989}
}
Get EndNote Reference (.ref)