Article

Polymorphic Equality - No Tags Required

Author:

Martin ElsmanAuthors Info & Claims

TIC '98: Proceedings of the Second International Workshop on Types in Compilation

Pages 136 - 155

Published: 25 March 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Elsman M(2024)Explicit Effects and Effect Constraints in ReMLProceedings of the ACM on Programming Languages10.1145/36329218:POPL(2370-2394)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632921
Ohori AUeno KMima H(2018)Finitary polymorphism for optimizing type-directed compilationProceedings of the ACM on Programming Languages10.1145/32367762:ICFP(1-29)Online publication date: 30-Jul-2018
https://dl.acm.org/doi/10.1145/3236776
Hallenberg NElsman MTofte M(2002)Combining region inference and garbage collectionACM SIGPLAN Notices10.1145/543552.51254737:5(141-152)Online publication date: 17-May-2002
https://dl.acm.org/doi/10.1145/543552.512547
Show More Cited By

Index Terms

Polymorphic Equality - No Tags Required
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Index terms have been assigned to the content through auto-classification.

Recommendations

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 delimited continuations
APLAS'07: Proceedings of the 5th Asian conference on Programming languages and systems

This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski, the proposed type system allows pure expressions to be polymorphic. Thanks to the ...
Polymorphic type inference
POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

The benefits of strong typing to disciplined programming, to compile-time error detection and to program verification are well known. Strong typing is especially natural for functional (applicative) languages, in which function application is the central ...

Comments

Information & Contributors

Information

Published In

TIC '98: Proceedings of the Second International Workshop on Types in Compilation

March 1998

296 pages

ISBN:3540649255

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 25 March 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Elsman M(2024)Explicit Effects and Effect Constraints in ReMLProceedings of the ACM on Programming Languages10.1145/36329218:POPL(2370-2394)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632921
Ohori AUeno KMima H(2018)Finitary polymorphism for optimizing type-directed compilationProceedings of the ACM on Programming Languages10.1145/32367762:ICFP(1-29)Online publication date: 30-Jul-2018
https://dl.acm.org/doi/10.1145/3236776
Hallenberg NElsman MTofte M(2002)Combining region inference and garbage collectionACM SIGPLAN Notices10.1145/543552.51254737:5(141-152)Online publication date: 17-May-2002
https://dl.acm.org/doi/10.1145/543552.512547
Hallenberg NElsman MTofte MKnoop JHendren L(2002)Combining region inference and garbage collectionProceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation10.1145/512529.512547(141-152)Online publication date: 17-Jun-2002
https://dl.acm.org/doi/10.1145/512529.512547
Tofte M(1998)A brief introduction to regionsACM SIGPLAN Notices10.1145/301589.28688234:3(186-195)Online publication date: 1-Oct-1998
https://dl.acm.org/doi/10.1145/301589.286882
Tofte MJones SJones R(1998)A brief introduction to regionsProceedings of the 1st international symposium on Memory management10.1145/286860.286882(186-195)Online publication date: 1-Oct-1998
https://dl.acm.org/doi/10.1145/286860.286882

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Index Terms

Recommendations

On polymorphic gradual typing

Polymorphic delimited continuations

Polymorphic type inference

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations