hamo95

Robert Harper, Greg Morrisett. Compiling Polymorphism Using Intensional Type Analysis. In Proc. ACM SIGACT/SIGPLAN Symp. on Principles of Programming Languages (POPL), San Francisco, California, January 1995.

Keyword

[ Parametricity ]

Contact

R. Harper
Greg Morrisett

BibTex Reference

@InProceedings{hamo95,
   Author = {Harper, Robert and Morrisett, Greg},
   Title = {Compiling Polymorphism Using Intensional Type Analysis},
   BookTitle = {Proc. ACM SIGACT/SIGPLAN Symp. on Principles of Programming Languages (POPL), San Francisco, California},
   Month = {January},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)