Principal type-schemes for functional programs
Lúıs Damas, Robin Milner
Abstract
Lúıs Damas, Robin Milner
Abstract
the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of its publication and date appear, and notice is given
OpenAlex reports 1100 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of its publication and date appear, and notice is given
Key concepts: Citation, Principal (computer security), Computer science, World Wide Web, Information retrieval, Library science, Operating system