pottier96

Fran\ccois Pottier. Simplifying Subtyping Constraints. In Proc.\ Int'l Conf. on Functional Programming (ICFP), Philadelphia, Pennsylvania, Pages 122-133, May 1996.

Keyword

[ Parametricity ]

Contact

Francois Pottier

BibTex Reference

@InProceedings{pottier96,
   Author = {Pottier, Fran\ccois},
   Title = {Simplifying Subtyping Constraints},
   BookTitle = {Proc.\ Int'l Conf. on Functional Programming (ICFP), Philadelphia, Pennsylvania},
   Pages = {122--133},
   Publisher = {ACM Press},
   Month = {May},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)