[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/199448.199478acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
Article
Free access

Higher-order functors with transparent signatures

Published: 25 January 1995 Publication History

Abstract

The programming language Standard ML provides first-order functors, i.e. modules parameterized by modules. First-order functors in the language have a simple and elegant static semantics. The type structure of higher-order modules, i.e. modules parameterized by functors, is well understood. But it is only in the recent past that we have seen an implementation of higher-order functors with a formally defined static semantics in a dialect of Standard ML, SML/NJ. A study of this static semantics shows it to be much more complicated than the static semantics of first-order functors. This paper investigates whether we can trade some semantic features in the module language to obtain a simpler static semantics, closer in spirit to that of first-order functors. This work helps in a conceptual understanding of the semantics of higher-order modules.

References

[1]
L. Cardelli and X. Leroy. Abstract types and the dot notation. Research Report 56, DEC Systems, Palo Alto, March 1990.
[2]
R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In H.- J. Boehm, editor, Conference Record of the Twenty}irst Annual A CM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1994.
[3]
R. Harper and J. C. Mitchell. On the type structure of Standard ML. A CM Transactions on Programming Languages and Systems, 15:211-252, 1993.
[4]
G. Huet. A unification algorithm for typed A-calculus. Theoretical Computer Science, 1:27-57, 1975.
[5]
X. Leroy. Manifest types, modules, and separate compilation. In H.-J. Boehm, editor, Conference Record of the Twentyfirst Annual A CM SIGPLAN-SIGA CT Symposium on Principles of Programming Languages. ACM, 1994.
[6]
D. B. MacQueen. Using dependent types to express modular structure. In C. N. Fischer, editor, Symposium on Principles of Programming Languages, pages 277- 286. ACM, 1986.
[7]
D. B. MacQueen and M. Tofte. A semantics for higher-order functors. In European Symposium on Programming. Lecture Notes in Computer Science vol. ??, Springer, 1994.
[8]
D. Miller. A logic programming language. Journal of Logic and Computation, 1:497-536, 1991.
[9]
R. Milner and M. Tofte. Commentary on Standard ML. The MIT Press, 1991.
[10]
R. Milner, M. Torte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.
[11]
M. Tofte. Principal signatures for higher-order program modules. In A. W. Appel, editor, Conference Record of the Nineteenth Annual A CM SIGPLAN-SIGA CT Symposium on Principles of Programming Languages, pages 189-199. ACM, 1992.

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
January 1995
415 pages
ISBN:0897916921
DOI:10.1145/199448
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 January 1995

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

POPL95
POPL95: 22nd ACM Symposium on Principles of Programming Languages
January 23 - 25, 1995
California, San Francisco, USA

Acceptance Rates

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

Upcoming Conference

POPL '25

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)32
  • Downloads (Last 6 weeks)6
Reflects downloads up to 11 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Fulfilling OCaml Modules with TransparencyProceedings of the ACM on Programming Languages10.1145/36498188:OOPSLA1(194-222)Online publication date: 29-Apr-2024
  • (2020)A focused solution to the avoidance problemJournal of Functional Programming10.1017/S095679682000022230Online publication date: 6-Aug-2020
  • (2018)1ML – Core and modules unitedJournal of Functional Programming10.1017/S095679681800020528Online publication date: 27-Dec-2018
  • (2016)1ML with Special EffectsA List of Successes That Can Change the World10.1007/978-3-319-30936-1_18(336-355)Online publication date: 25-Mar-2016
  • (2015)1ML – core and modules united (F-ing first-class modules)ACM SIGPLAN Notices10.1145/2858949.278473850:9(35-47)Online publication date: 29-Aug-2015
  • (2015)1ML – core and modules united (F-ing first-class modules)Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming10.1145/2784731.2784738(35-47)Online publication date: 29-Aug-2015
  • (2015)Layout Decomposition with Pairwise Coloring and Adaptive Multi-Start for Triple Patterning LithographyACM Transactions on Design Automation of Electronic Systems10.1145/276490421:1(1-25)Online publication date: 2-Dec-2015
  • (2015)DARP-MPACM Transactions on Design Automation of Electronic Systems10.1145/275555821:1(1-21)Online publication date: 2-Dec-2015
  • (2015)Ancient PolychromyJournal on Computing and Cultural Heritage 10.1145/27390498:3(1-20)Online publication date: 7-May-2015
  • (2014)Facial performance enhancement using dynamic shape space analysisACM Transactions on Graphics10.1145/254627633:2(1-12)Online publication date: 8-Apr-2014
  • 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

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media