Monads

Monads is a formal computational structure in functional programming that generalizes sequencing of computations by encapsulating values within a type constructor and defining bind and return operations, distinguishing it from other algebraic constructs through its adherence to monadic laws governing composition and identity.

655

Publications

33.2K

Citations

774

Authors

389

Institutions

Publications per year

2017–2026

89

Authors

774

  1. JP
    John Power

    University of Edinburgh, United Kingdom

    22 publications · 1.3K citations

    17

    h-index

  2. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    18 publications · 3.5K citations

    15

    h-index

  3. AS
    Amr Sabry

    Indiana University Bloomington, United States

    15 publications · 685 citations

    15

    h-index

  4. SL
    Stephen Lack

    Macquarie University, Australia

    14 publications · 849 citations

    12

    h-index

  5. TU
    Tarmo Uustalu

    Tallinn University of Technology, Estonia

    13 publications · 395 citations

    11

    h-index

1–5 of 774

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 48 publications · 1.5K citations

    26

    h-index

  2. Journal of Functional Programming

    25 publications · 1.8K citations

    19

    h-index

  3. ACM SIGPLAN Notices

    30 publications · 793 citations

    18

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 21 publications · 1.1K citations

    17

    h-index

  5. Theory and applications of categories

    TAC · 21 publications · 705 citations

    16

    h-index

1–5