Article

Free access

Principal type-schemes for functional programs

Authors:

Luis Damas,

Robin MilnerAuthors Info & Claims

POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pages 207 - 212

https://doi.org/10.1145/582153.582176

Published: 25 January 1982 Publication History

PDF eReader

References

[1]

{LNCSn stands for Vol n, Lecture Notes in Computer Science, Springer-Verlag}.

Google Scholar

[2]

{Cop} M. Coppo, An extended polymorphic type system for applicative languages, (1980), LNCS 88, pp 194--204.

Digital Library

Google Scholar

[3]

{DD} A. Demers and J. Donahue, Report on the programming language Russell, (1979), Report No. TR 79-371, Computer Science Department, Cornell University.

Google Scholar

[4]

{GMW} M. Gordon, R. Milner and C. Wadsworth, (1979), Edinburgh LCF, LNCS 78.

Google Scholar

[5]

{Hin} R. Hindley, The principal type-scheme of an object in Combinatory Logic, (1969), Trans AMS 146, pp 29--60.

Google Scholar

[6]

{Mil} R. Milner, A theory of type polymorphism in programming (1978), JCSS 17,3, pp 348--375.

Crossref

Google Scholar

[7]

{Rob} J.A. Robinson, A machine-oriented logic based on the resolution principle, JACM 12,1 (1965), 23--41.

Digital Library

Google Scholar

Cited By

View all

Carnier DPottier FKeuchel S(2024)Type Inference LogicsProceedings of the ACM on Programming Languages10.1145/36897868:OOPSLA2(2125-2155)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689786
Huang IHögberg JFernandez-Reyes KWrigstad TFernandez-Reyes KVoinea A(2024)Nominal Types for ErlangProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678191(24-32)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678191
Berger FSchimpf ABieniusa AWehr SFernandez-Reyes KVoinea A(2024)Same Same but Different: A Comparative Analysis of Static Type Checkers in ErlangProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678189(2-12)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678189
Show More Cited By

Principal type-schemes for functional programs
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Functional Clustering and Functional Principal Points
KES '07: Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference

In this paper, we deal with the relation between functional clustering and functional principal points. The <em>k</em>principal points are defined as the set of <em>k</em>points which minimizes the sum of expected squared distances from every points in ...
Supervised functional principal component analysis

In functional linear regression, one conventional approach is to first perform functional principal component analysis (FPCA) on the functional predictor and then use the first few leading functional principal component (FPC) scores to predict the ...
Functional outlier detection with robust functional principal component analysis

Functional principal component analysis is the preliminary step to represent the data in a lower dimensional space and to capture the main modes of variability of the data by means of small number of components which are linear combinations of original ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

January 1982

378 pages

ISBN:0897910656

DOI:10.1145/582153

Conference Chair:
Richard DeMillo

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 January 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

POPL '82 Paper Acceptance Rate 38 of 121 submissions, 31%;

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

788
Total Citations
View Citations
3,929
Total Downloads

Downloads (Last 12 months)483
Downloads (Last 6 weeks)76

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Carnier DPottier FKeuchel S(2024)Type Inference LogicsProceedings of the ACM on Programming Languages10.1145/36897868:OOPSLA2(2125-2155)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689786
Huang IHögberg JFernandez-Reyes KWrigstad TFernandez-Reyes KVoinea A(2024)Nominal Types for ErlangProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678191(24-32)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678191
Berger FSchimpf ABieniusa AWehr SFernandez-Reyes KVoinea A(2024)Same Same but Different: A Comparative Analysis of Static Type Checkers in ErlangProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678189(2-12)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678189
Kura SUnno H(2024)Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type SystemProceedings of the ACM on Programming Languages10.1145/36746628:ICFP(973-1002)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.1145/3674662
Belyakova JChung BTate RVitek J(2024)Decidable Subtyping of Existential Types for JuliaProceedings of the ACM on Programming Languages10.1145/36564218:PLDI(1091-1114)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656421
Chen HZhang NXiang SZeng ZDai MZhang Z(2024)Allo: A Programming Model for Composable Accelerator DesignProceedings of the ACM on Programming Languages10.1145/36564018:PLDI(593-620)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656401
Tang WHillerström DLindley SMorris J(2024)Soundly Handling LinearityProceedings of the ACM on Programming Languages10.1145/36328968:POPL(1600-1628)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632896
Castagna GLaurent MNguyễn K(2024)Polymorphic Type Inference for Dynamic LanguagesProceedings of the ACM on Programming Languages10.1145/36328828:POPL(1179-1210)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632882
SEKIYAMA TTSUKADA TIGARASHI A(2024)Signature restriction for polymorphic algebraic effectsJournal of Functional Programming10.1017/S095679682400005434Online publication date: 27-May-2024
https://doi.org/10.1017/S0956796824000054
Audrito GCasadei RDamiani FSalvaneschi GViroli M(2024)The eXchange Calculus (XC)Journal of Systems and Software10.1016/j.jss.2024.111976210:COnline publication date: 1-Apr-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.111976
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Functional Clustering and Functional Principal Points

Supervised functional principal component analysis

Functional outlier detection with robust functional principal component analysis