Domains and Denotational Semantics: History, Accomplishments and Open Problems (1996)

by Marcelo Fiore , Achim Jung , Eugenio Moggi , Peter O'Hearn , Jon Riecke , Giuseppe Rosolini , Ian Stark
Citations:27 - 7 self

Documents Related by Co-Citation

155 The essence of Algol – J C Reynolds - 1981
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
104 Fully Abstract Models of Typed Lambda Calculi, Th – R Milner - 1977
112 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
56 Hereditarily Sequential Functionals – Hanno Nickau - 1994
258 Semantics of programming languages: structures and techniques – C A Gunter - 1992
363 LCF considered as a programming language – G D Plotkin - 1977
105 G.: A fully abstract game semantics for general references – S Abramsky, K Honda, McCusker - 1998
53 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, Queen Mary, John C. Reynolds - 1997
332 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
62 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1996
402 Domain Theory – Samson Abramsky, Achim Jung - 1994
65 Full Abstraction for PCF (Extended Abstract) – Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan - 1994
292 Theorems for free! – Philip Wadler - 1989
31 Kripke Logical Relations and PCF – Peter W. O'Hearn, Jon G. Riecke - 1995
30 Reasoning about sequential functions via logical relations – K Sieber - 1991
56 A Simplified Account of Polymorphic References – Robert Harper - 1994
557 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
122 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty