Higher Order Functions that Dynamically Create Local Names (preliminary...  Home/Search
Context
Related
| homepages.inf.ed.ac.u...obsphosipl.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.a...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The research reported in this paper is concerned with the problem of reasoning about properties of higher order functions involving state. It is motivated by the desire to identify what, if any, are the di#culties created purely by locality of state, independent of other properties such as side-e#ects, exceptional termination and nontermination due to recursion. We consider a simple language (equivalent to a fragment of Standard ML) of typed, higher order functions that can dynamically... (Update)
Similar documents (at the sentence level):
60.8%: On the Observable Properties of Higher Order Functions that.. - Pitts, Stark (1993) (Correct)
29.7%: Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
28.3%: Observable Properties of Higher Order Functions that.. - Pitts, Stark (1993) (Correct)
Active bibliography (related documents): More All
0.3: A Variable Typed Logic of Effects - Honsell (1993) (Correct)
0.2: Names and Higher-Order Functions - Stark (1995) (Correct)
0.2: Side-Effect Removal Transformation - Harman, Munro, Hu, Zhang (2001) (Correct)
Similar documents based on text: More All
0.3: Appears in LISP and Symbolic Computation 9(1):77--107.. - Ian Stark University (Correct)
0.2: Mobile Processes: a Commented Bibliography - Zilio (2001) (Correct)
0.1: Proc. International Symp. on Math. Foundations of Comp. - Sci Lncs (Correct)
BibTeX entry: (Update)
@misc{ functions-observable,
author = "Higher Order Functions",
title = "On the Observable Properties of",
url = "citeseer.ist.psu.edu/675241.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
369 Information and Computation (context) - Moggi, Computation - 1991
254 Comprehending Monads - Wadler - 1990
179 The Lazy Lambda Calculus - Abramsky - 1990
132 Syntactic Control of Interference (context) - Reynolds - 1978
87 call-by-value and the lambda calculus (context) - Plotkin - 1975
72 An Abstract View of Programming Languages (context) - Moggi - 1989
66 Fully abstract models of typed #-calculi (context) - Milner - 1977
60 Towards fully abstract semantics for local variables: prelim.. (context) - Meyer, Sieber - 1988
58 A Logic for Parametric Polymorphism - Plotkin, Abadi - 1993
46 Relational Parametricity and Local Variables (context) - O'Hearn, Tennent - 1993
30 A Syntactic Theory of Sequential State (context) - Felleisen, Friedman - 1989
28 Semantics of Local Variables - O'Hearn, Tennent - 1992
27 local variables and operational reasoning (context) - Mason, Talcott - 1992
25 First Order Categorical Logic (context) - Makkai, Reyes - 1977
21 Evaluation Logic - Pitts - 1990
17 Semantics of Weakening and Contraction (context) - Jacobs - 1992
14 Mathematical Structures in Computer Science (context) - O'Hearn, for et al.
6 Semantic Analysis of Specification Logic (context) - Tennent - 1990
4 ects and aliasing can have simple axiomatic descriptions (context) - Boehm - 1985
2 A Variable Typed Logic of E#ects (context) - Honsell, Mason et al. - 1992
2 Quotients of Decidable Objects (context) - Johnstone - 1983
Documents on the same site (http://homepages.inf.ed.ac.uk/stark/publications.html): More
Thimble - Threads for MLj - Stark (Correct)
Automatic Verification of Java Design Patterns - Alex Blewitt Alan (Correct)
Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC