Concepedia

Effect Systems

Effect Systems is a type system extension that classifies computations not only by their return values but also by the computational effects they may produce, such as side effects or exceptions, thereby enabling static reasoning about program behavior beyond pure functional evaluation.

54

Publications

2.5K

Citations

82

Authors

50

Institutions

Publications per year

2017–2026

11

Variants

Effect Type Systems

Parents

Publications

54

1–5 of 54

Authors

82

  1. DO
    Dominic Orchard

    University of Cambridge, United Kingdom

    5 publications · 123 citations

    5

    h-index

  2. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    4 publications · 259 citations

    4

    h-index

  3. MP
    Matija Pretnar

    University of Ljubljana, Slovenia

    4 publications · 174 citations

    4

    h-index

  4. PS
    Philipp Schuster

    University of Tübingen, Germany

    3 publications · 111 citations

    3

    h-index

  5. MO
    Martin Odersky

    École Polytechnique Fédérale de Lausanne, Switzerland

    3 publications · 121 citations

    3

    h-index

1–5 of 82

Institutions

50

  1. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    5 h-index

    11 publications

    446 citations

  2. University of Cambridge

    Cambridge, United Kingdom

    4 h-index

    8 publications

    206 citations

  3. University of Ljubljana

    Ljubljana, Slovenia

    4 h-index

    5 publications

    228 citations

  4. University of Tübingen

    Tübingen, Germany

    3 h-index

    7 publications

    250 citations

  5. University of Chile

    Santiago, Chile

    3 h-index

    5 publications

    146 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    3 publications

    66 citations

  7. University of British Columbia

    Vancouver, Canada

    2 h-index

    3 publications

    89 citations

  8. University of Birmingham

    Birmingham, United Kingdom

    2 h-index

    2 publications

    64 citations

1–8 of 50

Venues

  1. ACM SIGPLAN Notices

    8 publications · 166 citations

    8

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 6 publications · 195 citations

    6

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 109 citations

    4

    h-index

  4. Journal of Functional Programming

    2 publications · 48 citations

    2

    h-index

  5. Logical Methods in Computer Science

    LMCS · 2 publications · 78 citations

    2

    h-index

1–5