Monads and Comonads in Intensional Semantics (1993)

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

Documents Related by Co-Citation

1305 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
27 Upwards and downwards accumulations on trees – J Gibbons - 1993
58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
97 and Order in Algorithmics – Law - 1992
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
4 Solving stream equation systems – B Barbier - 2002
18 A Co-iterative Characterization of Synchronous Stream Functions – Paul Caspi, Marc Pouzet - 1997
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
3 Review of the elements of 2-categories, Sydney Category – G M Kelly, R Street - 1974
2 Toposes, Triples and Theories, Grundlagen der mathematischen Wissenschaften Vol 278 – M Barr, C Wells - 1985
62 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1994
22 Adjoint lifting theorems for categories of algebras – P T Johnstone - 1975
24 A Tutorial on – B Jacobs, J Rutten - 1997
126 The formal theory of monads – Ross Street - 1972
7 ∂ for Data: Differentiating Data Structures – Michael Abbott, Neil Ghani, Thorsten Altenkirch, Conor Mcbride