A co-induction principle for recursively defined domains

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Computational lambda-calculus and monads

Eugenio Moggi · 2003 · 858 citations

Computing, Computer Science, Algebra +13

A Powerdomain Construction

Gordon Plotkin · SIAM Journal on Computing · 1976 · 639 citations

Natural Sciences, Computer Science, Discrete Mathematics +6

The Category-Theoretic Solution of Recursive Domain Equations

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

Natural Sciences, Mathematics, Algebra +15

Introduction to functional programming

Paul A. Bailes · Science of Computer Programming · 1989 · 282 citations

Computing, Computer Science, Compilers +10