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

Active Bibliography

730 Notions of Computation and Monads – Eugenio Moggi - 1991
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
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
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
6 Formal Semantics of Programming Languages -- An Overview – Peter D. Mosses - 2006
35 Semantic Lego – David Espinosa - 1995
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
39 Categorical Models for Local Names – Ian Stark - 1996
1 A Framework for Programming Denotational Semantics in C++ – Nikolaos S. Papaspyrou - 1996
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
5 Algebraic theories of quasivarieties – Hans E. Porst - 1998
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
18 Polymorphic embedding of DSLs – Christian Hofer, Klaus Ostermann, Tillmann Rendel - 2008
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
33 Process and Term Tile Logic РRoberto Bruni, Jos̩ Meseguer, Ugo Montanari - 1998
5 Semantics of Dynamic Variables in Algol-like Languages – Dan R. Ghica - 1997
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000