T. Katayama. Type Inference and Type Checking for Functional Programming Languages - A Reduced Computation Approach. In Conf. Rec. of the 1984 ACM Symp. on LISP and Functioal Programming, Pages 263-272, August 1984.
[ Parametricity ]
@InProceedings{katayama84,
Author = {Katayama, T.},
Title = {Type Inference and Type Checking for Functional Programming Languages - A Reduced Computation Approach},
BookTitle = {Conf. Rec. of the 1984 ACM Symp. on LISP and Functioal Programming},
Pages = {263--272},
Month = {August},
Year = {1984}
}
Get EndNote Reference (.ref)