Jens Palsberg, Mitchell Wand, Patrick O'Keefe. Type Inference with Non-structural Subtyping. Research Report BRICS, Dept. of Computer Science, Aarhus University, No 0, April 1995.
[ Parametricity ]
J. Palsberg
M. Wand
P. O'Keefe
@TechReport{pawaok95,
Author = {Palsberg, Jens and Wand, Mitchell and O'Keefe, Patrick},
Title = {Type Inference with Non-structural Subtyping},
Number = {0},
Institution = {BRICS, Dept. of Computer Science, Aarhus University},
Month = {April},
Year = {1995}
}
Get EndNote Reference (.ref)