pierce91b

B. Pierce. Programming with Intersection Types and Bounded Polymorphism. PhD Thesis School of Computer Science, Carnegie Mellon University, December 1991.

Keyword

[ Parametricity ]

Contact

B.C. Pierce

BibTex Reference

@PhdThesis{pierce91b,
   Author = {Pierce, B.},
   Title = {Programming with Intersection Types and Bounded Polymorphism},
   School = {School of Computer Science, Carnegie Mellon University},
   Month = {December},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)