Takuya Katayama. Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. In Proceedings of the ACM Symposium on LISP and Functional Programming. LFP '84, pages 263-272, Association for Computing Machinery, New York, NY, USA, 1984.
@inproceedings{Katayama84:0,
title = {Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach},
author = {Takuya Katayama},
year = {1984},
tags = {programming languages, type inference, functional programming, type checking, programming, systematic-approach},
researchr = {https://researchr.org/publication/Katayama84%3A0},
cites = {0},
citedby = {0},
pages = {263-272},
booktitle = {Proceedings of the ACM Symposium on LISP and Functional Programming},
series = {LFP '84},
address = {New York, NY, USA},
publisher = {Association for Computing Machinery},
}