Concepedia

Monadic Semantics

Monadic Semantics is a formal semantic framework that employs monads—a concept from category theory—to structure and compose computational effects in the denotational semantics of programming languages, thereby enabling a modular analysis of language constructs with side effects.

488

Publications

24.6K

Citations

613

Authors

299

Institutions

Publications per year

2017–2026

61

Parents

Publications

488

1–5 of 488

Authors

613

  1. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    15 publications · 3.6K citations

    14

    h-index

  2. JP
    John Power

    University of Edinburgh, United Kingdom

    13 publications · 647 citations

    13

    h-index

  3. AS
    Amr Sabry

    Indiana University Bloomington, United States

    12 publications · 512 citations

    12

    h-index

  4. OK
    Oleg Kiselyov

    University of Tsukuba, Japan

    10 publications · 475 citations

    10

    h-index

  5. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    9 publications · 709 citations

    9

    h-index

1–5 of 613

Institutions

299

  1. University of Edinburgh

    Edinburgh, United Kingdom

    21 h-index

    36 publications

    2.9K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    16 h-index

    31 publications

    2.5K citations

  3. University of Cambridge

    Cambridge, United Kingdom

    15 h-index

    29 publications

    1K citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    15 h-index

    25 publications

    2.1K citations

  5. Chalmers University of Technology

    Gothenburg, Sweden

    14 h-index

    31 publications

    1.4K citations

  6. Microsoft (United States)

    Redmond, United States

    13 h-index

    29 publications

    2.5K citations

  7. Aarhus University

    Aarhus, Denmark

    13 h-index

    21 publications

    1K citations

  8. University of Oxford

    Oxford, United Kingdom

    12 h-index

    25 publications

    783 citations

1–8 of 299

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 35 publications · 1.1K citations

    20

    h-index

  2. ACM SIGPLAN Notices

    32 publications · 838 citations

    19

    h-index

  3. Theoretical Computer Science

    26 publications · 935 citations

    18

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 19 publications · 620 citations

    15

    h-index

  5. Journal of Functional Programming

    18 publications · 1.5K citations

    15

    h-index

1–5