monsuez92b

B. Monsuez. Polymorphic Typing by Abstract Interpretation. In Proc. 12th Conf. Foundations of Software Technology and Theoretical Computer Science (FST-TCS), New Delhi, India, Lecture Notes in Computer Science, December 1992.

Keyword

[ Parametricity ]

Contact

Bruno Monsuez

BibTex Reference

@InProceedings{monsuez92b,
   Author = {Monsuez, B.},
   Title = {Polymorphic Typing by Abstract Interpretation},
   BookTitle = {Proc. 12th Conf. Foundations of Software Technology and Theoretical Computer Science (FST-TCS), New Delhi, India},
   Publisher = {Springer},
   Month = {December},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)