Jump to : Keyword | Contact | BibTex reference | EndNote reference |

leivant83b

D. Leivant. Structural semantics for polymorphic data types. In Proc. 1983 POPL, 1983.

Keyword

[ Parametricity ]

Contact

Daniel Leivant

BibTex Reference

@InProceedings{leivant83b,
   Author = {Leivant, D.},
   Title = {Structural semantics for polymorphic data types},
   BookTitle = {Proc. 1983 POPL},
   Year = {1983}
}

EndNote Reference [help]

Get EndNote Reference (.ref)