thatte88

S. Thatte. Type Inference with Partial Types. In Proc. Int'l Coll. on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Pages 615-629, 1988.

Keywords

[ Parametricity ] [ Dyntyp ]

Contact

Satish R. Thatte

BibTex Reference

@InProceedings{thatte88,
   Author = {Thatte, S.},
   Title = {Type Inference with Partial Types},
   BookTitle = {Proc. Int'l Coll. on Automata, Languages and Programming (ICALP)},
   Pages = {615--629},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)