Principal type-schemes for functional programs

Milner, Robin; Damas, Luís

doi:10.1145/582153.582176

Record: found
Abstract: not found
Conference Proceedings: not found

Principal type-schemes for functional programs

proceedings-article

Author(s): Luis Damas , Robin Milner

Publication date (Print): 1982

Conference name: the 9th ACM SIGPLAN-SIGACT symposium (POPL '82)

Conference date: February 25, 1982 - February 27, 1982

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 1982

Pages: 207-212

Article

DOI: 10.1145/582153.582176

SO-VID: 308c30ff-07e2-40fb-bc86-b2f9e7e97592

Conference name: the 9th ACM SIGPLAN-SIGACT symposium

Conference acronym: POPL '82

Conference location: Albuquerque, Mexico

Conference date: February 25, 1982 - February 27, 1982

Conference sponsor: SIGPLAN, ACM Special Interest Group on Programming Languages

History

Data availability:

Comments

Comment on this article

scite_

Cited by 55

First-Class Type Classes
Authors: Matthieu Sozeau, Nicolas Oury
Natural semantics
Authors: G. Kahn
Gradual Typing for Objects
Authors: Jeremy Siek, Walid Taha

See all cited by

Principal type-schemes for functional programs

Read this article at

Related collections

Functional role of amyloid

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 3,820

Cited by 55