Jump to : Keyword | Contact | BibTex reference | EndNote reference |

kps92

Dexter Kozen, Jens Palsberg, Michael Schwartzbach. Efficient Inference of Partial Types. Research Report DAIMI, Aarhus University, No 0, April 1992.

Keyword

[ Dyntyp ]

Contact

D. Kozen
J. Palsberg
M.I. Schwartzbach

BibTex Reference

@TechReport{kps92,
   Author = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael},
   Title = {Efficient Inference of Partial Types},
   Number = {0},
   Institution = {DAIMI, Aarhus University},
   Month = {April},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)