article

A simplified account of polymorphic references

Author:

Robert HarperAuthors Info & Claims

Information Processing Letters, Volume 51, Issue 4

Pages 201 - 206

https://doi.org/10.1016/0020-0190(94)90120-1

Published: 24 August 1994 Publication History

Abstract

No abstract available.

Cited By

View all

van der Rest CPoulsen CRouvoet AVisser EMosses P(2022)Intrinsically-typed definitional interpreters à la carteProceedings of the ACM on Programming Languages10.1145/35633556:OOPSLA2(1903-1932)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563355
MacQueen DHarper RReppy J(2020)The history of Standard MLProceedings of the ACM on Programming Languages10.1145/33863364:HOPL(1-100)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386336
Bach Poulsen CRouvoet ATolmach AKrebbers RVisser E(2017)Intrinsically-typed definitional interpreters for imperative languagesProceedings of the ACM on Programming Languages10.1145/31581042:POPL(1-34)Online publication date: 27-Dec-2017
https://dl.acm.org/doi/10.1145/3158104
Show More Cited By

Index Terms

A simplified account of polymorphic references
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures

Recommendations

A note on “A simplified account of polymorphic references”
Inheritance-based subtyping
FOOL VII

Classes play a dual role in mainstream statically typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyping. In contrast, the theoretical language community has viewed this ...
A functional programmer's guide to homotopy type theory
ICFP '16

Dependent type theories are functional programming languages with types rich enough to do computer-checked mathematics and software verification. Homotopy type theory is a recent area of work that connects dependent type theory to the mathematical ...

Comments

Information & Contributors

Information

Published In

Information Processing Letters Volume 51, Issue 4

Aug. 24, 1994

51 pages

ISSN:0020-0190

Editors:
F. Dehne
Carleton Univ., Ottawa, Canada
,
D. Gries
Cornell Univ., Ithaca, NY
,
W. M. Turski
Warsaw Univ., Warsaw, Poland

Issue’s Table of Contents

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 24 August 1994

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

van der Rest CPoulsen CRouvoet AVisser EMosses P(2022)Intrinsically-typed definitional interpreters à la carteProceedings of the ACM on Programming Languages10.1145/35633556:OOPSLA2(1903-1932)Online publication date: 31-Oct-2022
MacQueen DHarper RReppy J(2020)The history of Standard MLProceedings of the ACM on Programming Languages10.1145/33863364:HOPL(1-100)Online publication date: 12-Jun-2020
Bach Poulsen CRouvoet ATolmach AKrebbers RVisser E(2017)Intrinsically-typed definitional interpreters for imperative languagesProceedings of the ACM on Programming Languages10.1145/31581042:POPL(1-34)Online publication date: 27-Dec-2017
Amin NRompf T(2017)Type soundness proofs with definitional interpretersACM SIGPLAN Notices10.1145/3093333.300986652:1(666-679)Online publication date: 1-Jan-2017
Amin NRompf TCastagna GGordon A(2017)Type soundness proofs with definitional interpretersProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009866(666-679)Online publication date: 1-Jan-2017
Castagna GGordon A(2017)Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming LanguagesundefinedOnline publication date: 1-Jan-2017
Pottier FBall TSagiv M(2011)A typed store-passing translation for general referencesProceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1926385.1926403(147-158)Online publication date: 26-Jan-2011
Pottier F(2011)A typed store-passing translation for general referencesACM SIGPLAN Notices10.1145/1925844.192640346:1(147-158)Online publication date: 26-Jan-2011
Ahmed AAppel ARichards CSwadi KTan GWang D(2010)Semantic foundations for typed assembly languagesACM Transactions on Programming Languages and Systems10.1145/1709093.170909432:3(1-67)Online publication date: 16-Mar-2010
Hobor ADockins RAppel A(2010)A theory of indirection via approximationACM SIGPLAN Notices10.1145/1707801.170632245:1(171-184)Online publication date: 17-Jan-2010
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

A note on “A simplified account of polymorphic references”

Inheritance-based subtyping

A functional programmer's guide to homotopy type theory

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations