thatte91b

Satish Thatte. Coercive Type Equivalence. In Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Cambridge, Massachusetts, Lecture Notes in Computer Science, Vol. 523, Pages 406-426, August 1991.

Keyword

[ Rectype ]

Contact

Satish R. Thatte

BibTex Reference

@InProceedings{thatte91b,
   Author = {Thatte, Satish},
   Title = {Coercive Type Equivalence},
   BookTitle = {Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Cambridge, Massachusetts},
   Pages = {406--426},
   Publisher = {Springer},
   Month = {August},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)