waok89

M. Wand, P. O'Keefe. On the Complexity of Type Inference with Coercion. In Proc. ACM Conf. on Functional Programming and Computer Architecture, 1989.

Keyword

[ Parametricity ]

Contact

M. Wand
P. O'Keefe

BibTex Reference

@InProceedings{waok89,
   Author = {Wand, M. and O'Keefe, P.},
   Title = {On the Complexity of Type Inference with Coercion},
   BookTitle = {Proc. ACM Conf. on Functional Programming and Computer Architecture},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)