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

stansifer88

R. Stansifer. Type Inference with Subtypes. In Proc. 15th ACM Symp. on Principles of Programming Languages, Pages 88-97, San Diego, California, January 1988.

Keyword

[ Parametricity ]

Contact

Ryan Stansifer

BibTex Reference

@InProceedings{stansifer88,
   Author = {Stansifer, R.},
   Title = {Type Inference with Subtypes},
   BookTitle = {Proc. 15th ACM Symp. on Principles of Programming Languages},
   Pages = {88--97},
   Address = {San Diego, California},
   Month = {January},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)