Article

Functional Programming with Overloading and Higher-Order Polymorphism

Author:

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text

May 1995

Pages 97 - 136

Published: 24 May 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Leger PRuiz FSepúlveda NFigueroa IHong JBures MPark JCerny T(2022)Evolution of a haskell repository and its use of monadsProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3506982(1475-1482)Online publication date: 25-Apr-2022
https://dl.acm.org/doi/10.1145/3477314.3506982
Bärenz M(2020)The essence of live coding: change the program, keep the state!Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3427763.3428312(2-14)Online publication date: 16-Nov-2020
https://dl.acm.org/doi/10.1145/3427763.3428312
Fu PKishida KRoss NSelinger P(2020)A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-QuipperReversible Computation10.1007/978-3-030-52482-1_9(153-168)Online publication date: 9-Jul-2020
https://dl.acm.org/doi/10.1007/978-3-030-52482-1_9
Show More Cited By

Index Terms

Functional Programming with Overloading and Higher-Order Polymorphism
1. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
      1. Algebraic language theory

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

Recommendations

Functional logic overloading
POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Functional logic overloading is a novel approach to user-defined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conceptually predicates on types in standard Haskell, they are type functions in ...
Read More
A type system for overloading and parametric polymorphism in programming languages
Read More
Functional logic overloading

Functional logic overloading is a novel approach to user-defined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conceptually predicates on types in standard Haskell, they are type functions in ...
Read More

Comments

Information & Contributors

Information

Published In

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text

May 1995

331 pages

ISBN:3540594515

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 24 May 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

45
Total Citations
View Citations
0
Total Downloads

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

Other Metrics

View Author Metrics

Citations

Cited By

View all

Leger PRuiz FSepúlveda NFigueroa IHong JBures MPark JCerny T(2022)Evolution of a haskell repository and its use of monadsProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3506982(1475-1482)Online publication date: 25-Apr-2022
https://dl.acm.org/doi/10.1145/3477314.3506982
Bärenz M(2020)The essence of live coding: change the program, keep the state!Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3427763.3428312(2-14)Online publication date: 16-Nov-2020
https://dl.acm.org/doi/10.1145/3427763.3428312
Fu PKishida KRoss NSelinger P(2020)A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-QuipperReversible Computation10.1007/978-3-030-52482-1_9(153-168)Online publication date: 9-Jul-2020
https://dl.acm.org/doi/10.1007/978-3-030-52482-1_9
Mensing Avan Antwerpen HBach Poulsen CVisser EScholliers CChari G(2019)From definitional interpreter to symbolic executorProceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection10.1145/3358502.3361269(11-20)Online publication date: 20-Oct-2019
https://dl.acm.org/doi/10.1145/3358502.3361269
Castegren EFernandez-Reyes KNierstrasz OGray JOliveira B(2019)Developing a monadic type checker for an object-oriented language: an experience reportProceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3357766.3359545(184-196)Online publication date: 20-Oct-2019
https://dl.acm.org/doi/10.1145/3357766.3359545
Osera PDarais DGibbons J(2019)Constraint-based type-directed program synthesisProceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3331554.3342608(64-76)Online publication date: 18-Aug-2019
https://dl.acm.org/doi/10.1145/3331554.3342608
Apfelmus HQuick DWinograd-Cort D(2019)Demo: functors and musicProceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design10.1145/3331543.3342582(52-55)Online publication date: 23-Aug-2019
https://dl.acm.org/doi/10.1145/3331543.3342582
Lubbers MKoopman PPlasmeijer R(2018)Task Oriented Programming and the Internet of ThingsProceedings of the 30th Symposium on Implementation and Application of Functional Languages10.1145/3310232.3310239(83-94)Online publication date: 5-Sep-2018
https://dl.acm.org/doi/10.1145/3310232.3310239
Bottu GKarachalias GSchrijvers TOliveira BWadler P(2017)Quantified class constraintsACM SIGPLAN Notices10.1145/3156695.312296752:10(148-161)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3156695.3122967
Chang AMiller HHaller PLhoták O(2017)The limitations of type classes as subtyped implicits (short paper)Proceedings of the 8th ACM SIGPLAN International Symposium on Scala10.1145/3136000.3136006(8-12)Online publication date: 22-Oct-2017
https://dl.acm.org/doi/10.1145/3136000.3136006
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

Functional logic overloading

A type system for overloading and parametric polymorphism in programming languages

Functional logic overloading

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