• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Operational Reasoning for Functions With Local State

Cached

  • Download as a PDF

Download Links

  • [www.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk]
  • [homepages.inf.ed.ac.uk]
  • [www.dcs.ed.ac.uk]
  • [ftp.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Andrew Pitts , Ian Stark
Citations:101 - 9 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University