Monads and Comonads in Intensional Semantics (1993)

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

Active Bibliography

3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
35 Semantic Lego – David Espinosa - 1995
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
1 Lambda Calculus – C. -h. L. Ong, C C. -h. L. Ong
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
9 A Semantics-based Approach to Design of Query Languages for Partial Information – Leonid Libkin - 1994
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
1 Category Theory and the Simply-Typed lambda-Calculus – Alfio Martini, Alfio Martini - 1996
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
39 Querying Nested Collections – Limsoon Wong - 1994
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002