1982Unpublished venueRequires access

Principal type-schemes for functional programs

Lúıs Damas, Robin Milner

Open publisher page 1,100 citations

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

About this research paper

What this paper is about

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

Why it matters

OpenAlex reports 1100 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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

Key concepts: Citation, Principal (computer security), Computer science, World Wide Web, Information retrieval, Library science, Operating system

Related papers

Back to paper searchBrowse research topicsOriginal source
Principal type-schemes for functional programs — Research Paper | ScholarLens