homi95

My Hoang, John C. Mitchell. Lower Bounds on Type Inference with Subtypes. In Proc. 22nd ACM Symp. on Principles of Programming Languages (POPL), San Francisco, California, Pages 176-185, January 1995.

Keyword

[ Parametricity ]

Contact

My Hoang
J.C. Mitchell

BibTex Reference

@InProceedings{homi95,
   Author = {Hoang, My and Mitchell, John C.},
   Title = {Lower Bounds on Type Inference with Subtypes},
   BookTitle = {Proc. 22nd ACM Symp. on Principles of Programming Languages (POPL), San Francisco, California},
   Pages = {176--185},
   Month = {January},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)