Operational Reasoning for Functions With Local State

Operational Reasoning for Functions With Local State

Cached

Download Links

by Andrew Pitts , Ian Stark

Citations:

BibTeX

@MISC{Pitts_operationalreasoning,
    author = {Andrew Pitts and Ian Stark},
    title = {      Operational Reasoning for Functions With Local State },
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
352	ML for the Working Programmer - Paulson - 1996
332	Types, abstraction and parametric polymorphism - Reynolds - 1983
265	Why functional programming matters - Hughes - 1989
155	The essence of Algol - Reynolds - 1981
108	Equivalence in functional languages with effects - Mason, Talcott - 1991
106	Observable properties of higher order functions that dynamically create local names, or what’s new - Pitts, Stark - 1993
102	R.D.: Parametricity and local variables - O’Hearn, Tennent - 1995
92	Relational properties of domains - Pitts - 1996
88	Typing first-class continuations in ML - Harper, Duba, et al. - 1993
70	D.P.: Control operators, the SECD machine and the λcalculus - Felleisen, Friedman - 1986
53	J.C.: From Algol to polymorphic linear lambda-calculus - O’Hearn, Reynolds - 2000
53	Lambda definability in the full type hierarchy - Plotkin - 1980
50	Names and Higher-Order Functions - Stark - 1994
45	A variable typed logic of effects - Honsell, Mason, et al. - 1993
44	Idealized Algol and its specification logic - Reynolds - 1982
35	From operational semantics to domain theory - Mason, Smith, et al. - 1996
34	Lambda-definability and logical relations. Memorandum SAIRM-4 - Plotkin - 1973
33	Relational interpretations of recursive types in an operational setting - Birkedal, Harper - 1999
33	Reasoning about local variables with operationally-based logical relations. LICS - Pitts - 1996
26	References, local variables and operational reasoning - Mason, Talcott - 1992
24	Inferring the equivalence of functional programs that mutate data - Mason, Talcott - 1992
23	The Semantics of Destructive Lisp - Mason - 1986
20	Computational adequacy via ‘mixed’ inductive definitions - Pitts - 1994
11	A type-theoretic account of Standard ML - Harper, Stone - 1997
6	Program transformations for configuring components - Mason, Talcott - 1991
2	Full abstraction for the second order subset of an ALGOL-like language - Seiber - 1995