M. van Emden. Conditional Answers for Polymorphic Type Inference. In Proc. Int'l Conf. on Logic Programming, Pages 590-603, Seattle, Washington, August 1988.
[ Parametricity ]
@InProceedings{vanemden88,
Author = {van Emden, M.},
Title = {Conditional Answers for Polymorphic Type Inference},
BookTitle = {Proc. Int'l Conf. on Logic Programming},
Pages = {590--603},
Address = {Seattle, Washington},
Month = {August},
Year = {1988}
}
Get EndNote Reference (.ref)