A. Kfoury, J. Tiuryn, P. Urzyczyn. An Analysis of ML Typability. Research Report Boston University, No 0, October 1989.
[ Parametricity ]
A. J. Kfoury
J. Tiuryn
P. Urzyczyn
@TechReport{ktu89c,
Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
Title = {An Analysis of {ML} Typability},
Number = {0},
Institution = {Boston University},
Month = {October},
Year = {1989}
}
Get EndNote Reference (.ref)