bo85

H. Boehm. Partial Polymorphic Type Inference is Undecidable. In Proc. 26th Annual Symp. on Foundations of Computer Science, Pages 339-345, October 1985.

Keyword

[ Parametricity ]

Contact

H. Boehm

BibTex Reference

@InProceedings{bo85,
   Author = {Boehm, H.},
   Title = {Partial Polymorphic Type Inference is Undecidable},
   BookTitle = {Proc. 26th Annual Symp. on Foundations of Computer Science},
   Pages = {339--345},
   Month = {October},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)