Article

Free access

Practical use of a polymorphic applicative language

Authors:

Butler W. Lampson,

Eric E. SchmidtAuthors Info & Claims

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

Pages 237 - 255

https://doi.org/10.1145/567067.567090

Published: 24 January 1983 Publication History

Abstract

Assembling a large system from its component elements is not a simple task. An adequate notation for specifying this task must reflect the system structure, accommodate many configurations of the system and many versions as it develops, and be a suitable input to the many tools that support software development. The language described here applies the ideas of λ-abstraction, hierarchical naming and type-checking to this problem. Some preliminary experience with its use is also given.

References

[1]

Avakian, A. et al., The design of an integrated support software system. Proc. SIGPLAN '82 Symp. Compiler Construction, June 1982, 308-317.

Digital Library

[2]

Cooprider, L. W., The Representation of Families of Software Systems, PhD Thesis, CMU-CS-79-116, Computer Science Dept., CMU, April 1979.

Digital Library

[3]

Cristofor, E. et al., Source control + tools = stable systems. Proc. 4th Computer Software and Applications Conf., Oct., 1980, 527-532.

[4]

Demers. A, and Donahue, J., Data types, parameters, and type checking, Proc. 7th Symp. Principles of Programming Languages, Las Vegas, 1980, 12-23.

Digital Library

[5]

DeRemer, F. and Kron, H, Programming-in-the-large versus programming-in-the-small. IEEETrans. Software Eng. SE-2, 2, June 1976, 80-86.

[6]

Deutsch, L. P. and Taft, E. A., Requirements for an Experimental Programming Environment.CSL-80-10, Xerox PARC, 1980.

[7]

Goldstein, I. P. and Bobrow, D. G., Descriptions for a programming environment. Proc. 1st Ann. Conf. Natl. Assoc. Artificial Intelligence, Stanford, Aug. 1980.

[8]

Habermann, A. N. et al., The Second Compendium of Gandalf Documentation. Computer Science Dept., CMU, May 1982.

[9]

Harslem, E. and Nelson, L. E., A retrospective on the development of Star. Proc. 6th Intl. Conf. Software Eng., Tokyo, Sept. 1982.

Digital Library

[10]

Horsley, T. R. and Lynch, W. C., Pilot: A software engineering case study. Proc. 4th Intl. Conf. Software Eng., Munich, 1979, 94-99.

Digital Library

[11]

Lampson, B. W. and Schmidt, E., Organizing software in a distributed environment. In preparation.

[12]

Lauer, H. C. and Satterthwaite, E. H., The impact of Mesa on system design. Proc. 4th Intl. Conf. Software Eng., Munich, 1979, 174-182.

Digital Library

[13]

Mitchell, J. G. et al., Mesa language Manual.CSL-79-3, Xerox PARC, April 1979.

[14]

Nelson, B. J., Remote Procedure Call.CSL-81-9, Xerox PARC, May 1981.

[15]

Schmidt, E., Controlling Large Software Development in a Distributed Environment. PhD Thesis, EECS Dept., Univ. of Calif. Berkeley, Dec. 82.

Digital Library

[16]

Tichy, W. F., Design, implementation, and evaluation of a revision control system. Proc. 6th Intl. Conf. Software Eng., Tokyo, Sept. 1982.

Digital Library

Cited By

Clemm GOsterweil L(2011)A Mechanism for Environment IntegrationEngineering of Software10.1007/978-3-642-19823-6_12(207-234)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19823-6_12
Westfechtel BConradi R(2006)Software configuration management and engineering data management: Differences and similaritiesSystem Configuration Management10.1007/BFb0053881(95-106)Online publication date: 25-May-2006
https://doi.org/10.1007/BFb0053881
Burstall RLampson B(2005)A kernel language for abstract data types and modulesSemantics of Data Types10.1007/3-540-13346-1_1(1-50)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-13346-1_1
Show More Cited By

Practical use of a polymorphic applicative language
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Embedding polymorphic dynamic typing
WGP '11: Proceedings of the seventh ACM SIGPLAN workshop on Generic programming

Dynamic typing in a statically typed functional language allows us to defer type unification until run time. This is typically useful when interacting with the 'outside' world where the type of values involved may not be known statically. Haskell has ...
On polymorphic gradual typing

We study an extension of gradual typing—a method to integrate dynamic typing and static typing smoothly in a single language—to parametric polymorphism and its theoretical properties, including conservativity of typing and semantics over both statically ...
Polymorphic type inference and abstract data types

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

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

January 1983

312 pages

ISBN:0897910907

DOI:10.1145/567067

Conference Chairs:
John R. White
Xerox PARC, Palo Alto, CA
,
Larry Landweber
University of Wisconsin, Madison, Wisconsin
,
Program Chairs:
Alan Demers
Cornell University, Ithaca, NY
,
Tim Teitelbaum
Cornell University, Ithaca, NY

Copyright © 1983 ACM.

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: 24 January 1983

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

POPL '83 Paper Acceptance Rate 28 of 170 submissions, 16%;

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

24
Total Citations
View Citations
378
Total Downloads

Downloads (Last 12 months)96
Downloads (Last 6 weeks)14

Reflects downloads up to 27 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Clemm GOsterweil L(2011)A Mechanism for Environment IntegrationEngineering of Software10.1007/978-3-642-19823-6_12(207-234)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19823-6_12
Westfechtel BConradi R(2006)Software configuration management and engineering data management: Differences and similaritiesSystem Configuration Management10.1007/BFb0053881(95-106)Online publication date: 25-May-2006
https://doi.org/10.1007/BFb0053881
Burstall RLampson B(2005)A kernel language for abstract data types and modulesSemantics of Data Types10.1007/3-540-13346-1_1(1-50)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-13346-1_1
Levin R(2004)A Technology Transfer RetrospectiveComputer Systems10.1007/0-387-21821-1_27(185-193)Online publication date: 2004
https://doi.org/10.1007/0-387-21821-1_27
Buffenberger JGruell K(2001)A language for software subsystem compositionProceedings of the 34th Annual Hawaii International Conference on System Sciences10.1109/HICSS.2001.927267(10)Online publication date: 2001
https://doi.org/10.1109/HICSS.2001.927267
Blume MAppel A(1999)Hierarchical modularityACM Transactions on Programming Languages and Systems10.1145/325478.32551821:4(813-847)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1145/325478.325518
Conradi RWestfechtel B(1998)Version models for software configuration managementACM Computing Surveys10.1145/280277.28028030:2(232-282)Online publication date: 1-Jun-1998
https://dl.acm.org/doi/10.1145/280277.280280
Gunter C(1996)Abstracting dependencies between software configuration itemsACM SIGSOFT Software Engineering Notes10.1145/250707.23912921:6(167-178)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/250707.239129
Gunter CMoriconi MAbowd G(1996)Abstracting dependencies between software configuration itemsProceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering10.1145/239098.239129(167-178)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/239098.239129
Shao ZAppel AVan Deusen MLang B(1993)Smartest recompilationProceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/158511.158702(439-450)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/158511.158702
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents