On a monadic semantics for freshness

Notions of computation and monads

Eugenio Moggi · Information and Computation · 1991 · 1.7K citations

Computing, Computer Science, Mathematics +10

A Syntactic Approach to Type Soundness

Andy Wright, Matthias Felleisen · Information and Computation · 1994 · 1.1K citations

Language Studies, Computer Science, Linguistics +6

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

Computing, Computer Science, Programming Languages +4

Domain theory

Samson Abramsky, Achim Jung · Logic in Computer Science · 1995 · 917 citations

Comprehending monads

Philip Wadler · 1990 · 575 citations · Full text

Computing, Computer Science, Mathematics +12