A Syntactic Approach to Modularity in Denotational Semantics (1993)

by Pietro Cenciarelli , Eugenio Moggi
Venue:IN PROCEEDINGS OF THE CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE
Citations:24 - 4 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
163 An abstract view of programming languages – E Moggi - 1989
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
93 Introduction to extensive and distributive categories – A Carboni, S Lack, R Walters - 1993
119 Weakly Distributive Categories – Cockett Seely, J. R. B. Cockett, R. A. G. Seely - 1991
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
456 Comprehending Monads – Philip Wadler - 1992
4 cooperative multithreading – Fair - 2007