PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
January 1, 19821,097 citations

Principal type-schemes for functional programs

View Full Paper
LDLuı́s DamasRMRobin Milner

Key Points

Key points are not available for this paper at this time.

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

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Damas et al. (1982) studied this question.

synapsesocial.com/papers/6a17499751b167d07f5dfb7bhttps://doi.org/10.1145/582153.582176
Ask AI
Helpful
Bookmark
Share
View Full Paper