Jump to : Keyword | Contact | BibTex reference | EndNote reference |

fumi90

Y. Fuh, P. Mishra. Type Inference with Subtypes. Theoretical Computer Science (TCS), 73:155-175, 1990.

Keyword

[ Parametricity ]

Contact

Y. Fuh
Priti Mishra

BibTex Reference

@article{fumi90,
   Author = {Fuh, Y. and Mishra, P.},
   Title = {Type Inference with Subtypes},
   Journal = {Theoretical Computer Science (TCS)},
   Volume = {73},
   Pages = {155--175},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)