|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
6
|
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
– Martin Hyland, John Power
- 2007
|
|
27
|
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
|
|
5
|
Formal Semantics of Programming Languages -- An Overview
– Peter D. Mosses
- 2006
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
38
|
Categorical Models for Local Names
– Ian Stark
- 1996
|
|
106
|
On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report)
– Andrew Pitts, Ian Stark
- 1993
|
|
1
|
A Framework for Programming Denotational Semantics in C++
– Nikolaos S. Papaspyrou
- 1996
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
7
|
Metacomputation-based compiler architecture
– William L. Harrison, Samuel N. Kamin
- 2000
|
|
4
|
Algebraic theories of quasivarieties
– Hans E. Porst
- 1998
|
|
24
|
Notes on Sconing and Relators
– John C. Mitchell, Andre Scedrov
- 1993
|
|
7
|
Polymorphic embedding of DSLs
– Christian Hofer, Klaus Ostermann, Tillmann Rendel
- 2008
|
|
39
|
Proof Theoretic Approach To Specification Languages
– Jawahar Lal Chirimar
- 1995
|
|
32
|
Process and Term Tile Logic
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1998
|
|
3
|
Power Domains Supporting Recursion and Failure
– Reinhold Heckmann, Bundesrepublik Deutschland
- 1998
|
|
12
|
Programming Metalogics with a Fixpoint Type
– Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi
- 1992
|
