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

mitchell86

J. Mitchell. A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). In Proc. ACM Conference on LISP and Functional Programming, Pages 308-319, August 1986.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell

BibTex Reference

@InProceedings{mitchell86,
   Author = {Mitchell, J.},
   Title = {A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary)},
   BookTitle = {Proc. ACM Conference on LISP and Functional Programming},
   Pages = {308--319},
   Month = {August},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)