Monads and Comonads in Intensional Semantics (1993)

by Stephen Brookes , Kathryn Van Stone
Citations:32 - 1 self

Active Bibliography

481 Domain Theory – Samson Abramsky, Achim Jung - 1994
766 Notions of Computation and Monads – Eugenio Moggi - 1991
467 Comprehending Monads – Philip Wadler - 1992
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
985 A theory of type polymorphism in programming – Robin Milner - 1978
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
1353 Monads for functional programming – Philip Wadler - 1995
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003