J. Tiuryn. Type Inference Problems: A Survey. In Proc. Mathematical Foundations of Computer Science (MFCS), Lecture Notes in Computer Science, Pages 105-120, 1990.
[ Parametricity ]
@InProceedings{tiuryn90,
Author = {Tiuryn, J.},
Title = {Type Inference Problems: A Survey},
BookTitle = {Proc. Mathematical Foundations of Computer Science (MFCS)},
Pages = {105--120},
Publisher = {Springer},
Year = {1990}
}
Get EndNote Reference (.ref)