Documents Related by Co-Citation

329 Foundations for Programming Languages – John 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
364 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
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
118 Parameterized Programming – J Goguen - 1984
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
34 Behavioural and abstractor specifications – Michel Bidoit, Rolf Hennicker, Martin Wirsing - 1995
32 Behavioural Theories and The Proof of Behavioural Properties – Michel Bidoit, Rolf Hennicker - 1996
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
733 Notions of Computation and Monads – Eugenio Moggi - 1991