Notions of computation and monads

Call-by-name, call-by-value and the λ-calculus

Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations

Computing, Computer Science, Programming Languages +5

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

Humanities, Mathematics, Logic +11

Computational lambda-calculus and monads

Eugenio Moggi · 2003 · 858 citations

Computing, Computer Science, Algebra +13

The formal theory of monads II

Stephen Lack, Ross Street · Journal of Pure and Applied Algebra · 2002 · 521 citations

Computing, Computer Science, Mathematics +10

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

Natural Sciences, Mathematics, Algebra +15