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:29 - 7 self

Documents Related by Co-Citation

161 The essence of Algol – J C Reynolds - 1981
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
110 Fully abstract models of typed lambda calculi – R Milner - 1977
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
59 Hereditarily Sequential Functionals – Hanno Nickau - 1994
267 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
395 LCF considered as a programming language – G Plotkin - 1977
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
62 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1994
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
66 Full Abstraction for PCF (Extended Abstract) – Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan - 1994
31 Kripke Logical Relations and PCF – Peter W. O'Hearn, Jon G. Riecke - 1995
32 Reasoning about sequential functions via logical relations – K Sieber - 1992
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
57 A Simplified Account of Polymorphic References – Robert Harper - 1994
136 An Indexed Model of Recursive Types for Foundational Proof-Carrying Code – Andrew W. Appel, David Mcallester - 2000