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.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)