mqse82

D. MacQueen, R. Sethi. A Semantic Model of Types for Applicative Languages. In Proc. SIGPLAN/SIGACT/SIGART Symp. on LISP and Functional Programming, Pages 243-252, Pittsburgh, Pennsylvania, 1982.

Keyword

[ Parametricity ]

Contact

D. MacQueen
Ravi Sethi

BibTex Reference

@InProceedings{mqse82,
   Author = {MacQueen, D. and Sethi, R.},
   Title = {A Semantic Model of Types for Applicative Languages},
   BookTitle = {Proc. SIGPLAN/SIGACT/SIGART Symp. on LISP and Functional Programming},
   Pages = {243--252},
   Address = {Pittsburgh, Pennsylvania},
   Year = {1982}
}

EndNote Reference [help]

Get EndNote Reference (.ref)