Dexter Kozen, Jens Palsberg, Michael Schwartzbach. Efficient Inference of Partial Types. Research Report DAIMI, Aarhus University, No 0, April 1992.
[ Dyntyp ]
D. Kozen
J. Palsberg
M.I. Schwartzbach
@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}
}
Get EndNote Reference (.ref)