Operationally-based theories of program equivalence (1997)
by
Andrew Pitts
| Venue: | Semantics and Logics of Computation |
| Citations: | 73 - 4 self |
BibTeX
@INPROCEEDINGS{Pitts97operationally-basedtheories,
author = {Andrew Pitts},
title = {Operationally-based theories of program equivalence},
booktitle = {Semantics and Logics of Computation},
year = {1997},
pages = {241--298},
publisher = {Cambridge University Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 1225 | The essence of functional programming - Wadler - 1992 |
| 636 | Structure and Interpretation of Computer Programs - Abelson, Sussman, et al. - 1985 |
| 182 | The Lambda Calculus: Its Syntax and Semantics, revised Edition - Barendregt - 1984 |
| 127 | Full abstraction in the lazy lambda calculus - Abramsky, Ong - 1993 |
| 109 | Bisimilarity as a theory of functional programming - Gordon |
| 102 | Functional programming and input/output - Gordon - 1994 |
| 23 | The lazy -calculus - Abramsky - 1990 |
| 7 | E.: Do-it-yourself type theory. Formal Aspects of Computing 1(1 - Backhouse, Chisholm, et al. - 1989 |
| 7 | Relating Operational and Denotational Semantics for Input/Output Effects - Crole, Gordon - 1999 |
| 7 | A functional programming approach to the specification and verification of concurrent systems - Dybjer, Sanders - 1989 |
| 6 | On Backtracking and Greatest Fixpoints - Roever - 1978 |
| 6 | Operational, denotational and logical descriptions: a case study - Egidi, Honsell, et al. - 1992 |
