kps94

Jens Palsberg, Michael I. Schwartzbach Dexter Kozen. Efficient Inference of Partial Types. Journal of Computer and Systems Sciences, Also presented at IEEE Symp. on Foundations of Computer Science 1992, 49(2), 1994.

Keyword

[ Dyntyp ]

Contact

Jens Palsberg, Michael I. Schwartzbach Dexter Kozen

BibTex Reference

@article{kps94,
   Author = {Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach},
   Title = {Efficient Inference of Partial Types},
   Journal = {Journal of Computer and Systems Sciences},
   Volume = {49},
   Number = {2},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)