article

A note on “A simplified account of polymorphic references”

Author:

Robert HarperAuthors Info & Claims

Information Processing Letters, Volume 57, Issue 1

Pages 15 - 16

https://doi.org/10.1016/0020-0190(95)00178-6

Published: 15 January 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Calcagno CHelsen SThiermann P(2019)Syntactic type soundness results for the region calculusInformation and Computation10.1006/inco.2001.3112173:2(199-221)Online publication date: 23-Nov-2019
https://dl.acm.org/doi/10.1006/inco.2001.3112
Tan GShao ZFeng XCai H(2011)Weak Updates and Separation LogicNew Generation Computing10.1007/s00354-010-0097-529:1(3-29)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1007/s00354-010-0097-5
Helsen SThiemann P(2004)Polymorphic specialization for MLACM Transactions on Programming Languages and Systems (TOPLAS)10.1145/1011508.101151026:4(652-701)Online publication date: 1-Jul-2004
https://dl.acm.org/doi/10.1145/1011508.1011510
Show More Cited By

Index Terms

A note on “A simplified account of polymorphic references”
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

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 57, Issue 1

Jan. 15, 1996

54 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: 15 January 1996

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
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

Calcagno CHelsen SThiermann P(2019)Syntactic type soundness results for the region calculusInformation and Computation10.1006/inco.2001.3112173:2(199-221)Online publication date: 23-Nov-2019
https://dl.acm.org/doi/10.1006/inco.2001.3112
Tan GShao ZFeng XCai H(2011)Weak Updates and Separation LogicNew Generation Computing10.1007/s00354-010-0097-529:1(3-29)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1007/s00354-010-0097-5
Helsen SThiemann P(2004)Polymorphic specialization for MLACM Transactions on Programming Languages and Systems (TOPLAS)10.1145/1011508.101151026:4(652-701)Online publication date: 1-Jul-2004
https://dl.acm.org/doi/10.1145/1011508.1011510
Smith GVolpano D(1996)Polymorphic typing of variables and referencesACM Transactions on Programming Languages and Systems (TOPLAS)10.1145/229542.22954418:3(254-267)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.1145/229542.229544

Abstract

Cited By

Index Terms

Recommendations

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