Jeff Polakow, Frank Pfenning  Home/Search
Context Related
| sop.inria.fr/certilab/L...Polakow.ps.gz 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: sop.inria.fr/certilab/LFM...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine We now begin extending our representation to include evaluation of CPS terms. We will begin by showing a representation of a naive evaluator which makes no use of the ordering invariants. The following is a bare abstract machine for CPS evaluation. (Update)
Context of citations to this paper: More
.... some of which have been hinted at in the literature, usually under the catch phrase one continuation [identifier] is enough [6, 7, 11, 23, 29, 39]. Indeed, part of what we say is known or suspected amongst continuation insiders; however, we have not found any of the...
Cited by: More
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (Correct)
A Formalization of an Ordered Logical Framework in Hybrid.. - Momigliano, Polakow (Correct)
A Type Theory for Memory Allocation and Data Layout - Leaf Petersen Robert (2003) (Correct)
Similar documents (at the sentence level):
78.6%: Properties of Terms in Continuation-Passing Style - In An Ordered (Correct)
77.4%: Properties of Terms in Continuation-Passing Style in an.. - Polakow, Pfenning (2000) (Correct)
18.9%: Proving Syntactic Properties of Exceptions in an Ordered.. - Polakow, Yi (Correct)
Active bibliography (related documents): More All
0.2: Natural Deduction for Intuitionistic Non-Commutative Linear.. - Polakow, Pfenning (1999) (Correct)
0.1: Formalizing Implementation Strategies for First-Class Continuations - Danvy (2000) (Correct)
0.1: Type Refinements - Harper, Pfenning (2001) (Correct)
Similar documents based on text: More All
0.5: Ordered Linear Logic Programming - Polakow, Pfenning (1999) (Correct)
0.4: Relating Natural Deduction and Sequent Calculus for.. - Jeff Polakow, Frank.. (1999) (Correct)
0.3: Linear Logic Programming with an Ordered Context - Polakow (2000) (Correct)
Related documents from co-citation: More All
11: Reasoning about programs in continuation-passing style - Sabry, Felleisen
10: Operational Interpretations of Linear Logic - Turner, Wadler - 1998
9: Linear continuations - Filinski - 1992
BibTeX entry: (Update)
Jeff Polakow and Frank Pfenning. Properties of terms in continuation passing style in an ordered logical framework. In Workshop on Logical Frameworks and Meta-Languages (LFM 2000), Santa Barbara, California, June 2000. http://citeseer.ist.psu.edu/polakow00properties.html More
@misc{ polakow00properties,
author = "J. Polakow and F. Pfenning",
title = "Properties of terms in continuation passing style in an ordered logical
framework",
text = "Jeff Polakow and Frank Pfenning. Properties of terms in continuation passing
style in an ordered logical framework. In Workshop on Logical Frameworks
and Meta-Languages (LFM 2000), Santa Barbara, California, June 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/polakow00properties.html" }
Citations (may not include all citations):434 A framework for defining logics - Harper, Honsell et al. - 1993
248 The mathematics of sentence structure (context) - Lambek - 1958
43 Natural deduction for intuitionistic non-commutative linear .. - Polakow, Pfenning - 1999
36 Dipartimento di Informatica (context) - Cervesato, Logical et al. - 1996
33 Relating natural deduction and sequent calculus for intuitio.. - Polakow, Pfenning - 1999
32 The practice of logical frameworks - Pfenning - 1996
30 ato and Frank Pfenning. A linear logical framework. Informat.. (context) - Cerves - 1998
27 The occurrence of continuation parameters in CPS terms - Danvy, Pfenning - 1995
17 On proving syntactic properties of CPS programs - Danvy, Dzafic et al. - 1999
12 Formalizing program transformations (context) - Dzafic - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/certilab/LFM00/Proceedings/index.html): More
Modularity in Meta-Languages - Mosses (Correct)
TinkerType: A Language for Playing with Formal Systems - Levin, Pierce (2000) (Correct)
A Meta Logical Framework Based on Realizability - Schürmann (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