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

katayama84

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.

Keyword

[ Parametricity ]

Contact

T. Katayama

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)