Article

Parametric Overloading in Polymorphic Programming Languages

Author:

Stefan KaesAuthors Info & Claims

ESOP '88: Proceedings of the 2nd European Symposium on Programming

Pages 131 - 144

Published: 21 March 1988 Publication History

Abstract

No abstract available.

Cited By

View all

Jeffery ABrachthäuser JRyu SNystrom N(2019)Dependent object types with implicit functionsProceedings of the Tenth ACM SIGPLAN Symposium on Scala10.1145/3337932.3338811(1-11)Online publication date: 17-Jul-2019
https://dl.acm.org/doi/10.1145/3337932.3338811
Mercadier DDagand PMcKinley KFisher K(2019)Usuba: high-throughput and constant-time ciphers, by constructionProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314636(157-173)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314636
Gammie P(2013)Synchronous digital circuits as functional programsACM Computing Surveys10.1145/2543581.254358846:2(1-27)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1145/2543581.2543588
Show More Cited By

Index Terms

Parametric Overloading in Polymorphic Programming Languages
1. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

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

Recommendations

A type system for overloading and parametric polymorphism in programming languages
Polymorphic type inference for languages with overloading and subtyping
Programming Examples Needing Polymorphic Recursion

Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic ...

Comments

Information & Contributors

Information

Published In

ESOP '88: Proceedings of the 2nd European Symposium on Programming

March 1988

378 pages

ISBN:3540190279

Editor:
Harald Ganzinger

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 21 March 1988

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

37
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jeffery ABrachthäuser JRyu SNystrom N(2019)Dependent object types with implicit functionsProceedings of the Tenth ACM SIGPLAN Symposium on Scala10.1145/3337932.3338811(1-11)Online publication date: 17-Jul-2019
https://dl.acm.org/doi/10.1145/3337932.3338811
Mercadier DDagand PMcKinley KFisher K(2019)Usuba: high-throughput and constant-time ciphers, by constructionProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314636(157-173)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314636
Gammie P(2013)Synchronous digital circuits as functional programsACM Computing Surveys10.1145/2543581.254358846:2(1-27)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1145/2543581.2543588
Plümicke MProbst CWimmer C(2011)Well-typings for JavaλProceedings of the 9th International Conference on Principles and Practice of Programming in Java10.1145/2093157.2093171(91-100)Online publication date: 24-Aug-2011
https://dl.acm.org/doi/10.1145/2093157.2093171
Wehr SThiemann P(2011)JavaGIACM Transactions on Programming Languages and Systems10.1145/1985342.198534333:4(1-83)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1145/1985342.1985343
van Noort TAchten PPlasmeijer ROliveira BZalewski M(2010)Ad-hoc polymorphism and dynamic typing in a statically typed functional languageProceedings of the 6th ACM SIGPLAN workshop on Generic programming10.1145/1863495.1863505(73-84)Online publication date: 26-Sep-2010
https://dl.acm.org/doi/10.1145/1863495.1863505
Siek J(2010)The c++0x "concepts" effortProceedings of the 2010 international spring school conference on Generic and Indexed Programming10.1007/978-3-642-32202-0_4(175-216)Online publication date: 22-Mar-2010
https://dl.acm.org/doi/10.1007/978-3-642-32202-0_4
Wehr SLämmel RThiemann P(2007)JavaGIProceedings of the 21st European conference on Object-Oriented Programming10.5555/2394758.2394783(347-372)Online publication date: 30-Jul-2007
https://dl.acm.org/doi/10.5555/2394758.2394783
Hage JHoldermans SMiddelkoop A(2007)A generic usage analysis with subeffect qualifiersACM SIGPLAN Notices10.1145/1291220.129118942:9(235-246)Online publication date: 1-Oct-2007
https://dl.acm.org/doi/10.1145/1291220.1291189
Hage JHoldermans SMiddelkoop AHinze RRamsey N(2007)A generic usage analysis with subeffect qualifiersProceedings of the 12th ACM SIGPLAN international conference on Functional programming10.1145/1291151.1291189(235-246)Online publication date: 3-Oct-2007
https://dl.acm.org/doi/10.1145/1291151.1291189
Show More Cited By

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

A type system for overloading and parametric polymorphism in programming languages

Polymorphic type inference for languages with overloading and subtyping

Programming Examples Needing Polymorphic Recursion

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