Ad Hoc Polymorphism

Ad Hoc Polymorphism is a form of polymorphism in type systems where a single function or operator exhibits different behaviors at different types, distinguished from parametric polymorphism by supporting type-specific implementations through overloading or type-class mechanisms.

18

Publications

1.4K

Citations

29

Authors

18

Institutions

Publications per year

2017–2026

2

Authors

29

  1. SW
    Stephanie Weirich

    University of Pennsylvania, United States

    5 publications · 165 citations

    5

    h-index

  2. MM
    Manuel M. T. Chakravarty

    UNSW Sydney, Australia

    2 publications · 72 citations

    3

    h-index

  3. DV
    Dimitrios Vytiniotis

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 78 citations

    3

    h-index

  4. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    2 publications · 72 citations

    2

    h-index

  5. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    2 publications · 52 citations

    2

    h-index

1–5 of 29

Venues

  1. ACM SIGPLAN Notices

    3 publications · 85 citations

    3

    h-index

  2. 1

    h-index

  3. Journal of Functional Programming

    1 publications · 28 citations

    1

    h-index

  4. VU Research Portal

    Repository · 1 publications · 11 citations

    1

    h-index

  5. 1

    h-index

1–5