A. Kfoury, J. Tiuryn, P. Urzyczyn. ML Typability is DEXPTIME-complete. In Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark, Lecture Notes in Computer Science, Vol. 431, Pages 206-220, May 1990.
[ Parametricity ]
A. J. Kfoury
J. Tiuryn
P. Urzyczyn
@InProceedings{ktu90,
Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
Title = {{ML} Typability is {DEXPTIME}-complete},
BookTitle = {Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark},
Pages = {206--220},
Publisher = {Springer},
Month = {May},
Year = {1990}
}
Get EndNote Reference (.ref)