kmm91

P. Kanellakis, H. Mairson, J. Mitchell. Unification and ML Type Reconstruction. In Computational Logic - Essays in Honor of Alan Robinson, J.-L. Lassez, G. Plotkin (eds.), MIT Press, 1991.

Keyword

[ Parametricity ]

Contact

Paris C. Kanellakis
H.G. Mairson
J.C. Mitchell

BibTex Reference

@InCollection{kmm91,
   Author = {Kanellakis, P. and Mairson, H. and Mitchell, J.},
   Title = {Unification and {ML} Type Reconstruction},
   BookTitle = {Computational Logic - Essays in Honor of Alan Robinson},
   editor = {Lassez, J.-L. and Plotkin, G.},
   Publisher = {MIT Press},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)