piro94

Adolfo Piperno, Simona Ronchi della Rocca. Type Inference and Extensionality. In Proc. LICS '94 (?), Pages 196-205, 0.

Keyword

[ Parametricity ]

Contact

Adolfo Piperno
S. Ronchi Della Rocca

BibTex Reference

@InProceedings{piro94,
   Author = {Piperno, Adolfo and Ronchi della Rocca, Simona},
   Title = {Type Inference and Extensionality},
   BookTitle = {Proc. LICS '94 (?)},
   Pages = {196--205},
   Year = {0}
}

EndNote Reference [help]

Get EndNote Reference (.ref)