733

Notions of Computation and Monads
–
 1991

30

Adequacy for algebraic effects
–
 2001

55

Notions of Computation Determine Monads
–
 2002

26

Computational Effects and Operations: An Overview
–
 2004

441

Computational LambdaCalculus and Monads
–
 1988

924

Categories for the Working Mathematician
–
 1971

30

Combining effects: sum and tensor
–

379

BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
–
 2005

8

Combining algebraic effects with continuations
–
 2007

31

Structures defined by finite limits in the enriched context 1,” Cahiers de Topologie et Géométrie Différentielle
–
 1980

33

Algebraic Operations and Generic Effects
–
 2003

134

Towards a Mathematical Operational Semantics
–
 1997

19

Combining Computational Effects: Commutativity and Sum
–
 2002

138

Handbook of Categorical Algebra
–
 1994

52

Monads and Effects
–
 2000

29

CallbyPushValue. A Functional/Imperative Synthesis
–
 2004

17

Enriched lawvere theories,” Theory and Applications of Categories
–
 1999

55

Representing Layered Monads
–
 1999

18

Trace Semantics for Coalgebras
–
 2003
