Documents Related by Co-Citation

327 Foundations of Programming Languages – J C Mitchell - 1996
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000
18 An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement – Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent - 1997
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
34 On the equivalence of data representations – J C Mitchell - 1991
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
119 Parameterized Programming – J A Goguen - 1984
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
13 Correctness of data representations in Algol-like languages. In: A Classical Mind: Essays – R Tennent - 1994
40 Foundations for Programming Languages. Foundations of Computing series – J C Mitchell - 1996
12 Constructive Data Refinement in Typed Lambda Calculus – Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki - 2000
33 Behavioural Theories and The Proof of Behavioural Properties – Michel Bidoit, Rolf Hennicker - 1996
35 Behavioural and abstractor specifications – M Bidoit, R Hennicker, M Wirsing - 1995
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
730 Notions of Computation and Monads – Eugenio Moggi - 1991