Albert R. Meyer and Mitchell Wand. Continuation semantics in typed lambda calculi (summary). In Rohit Parikh, editor, Logics of Programs, volume 224 of Lecture Notes in Computer Science, pages 219--224. Springer-Verlag, 1985. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
From Control Effects to Typed Continuation Passing - Thielecke (2003) (1 citation) (Correct)
From Control Effects to Typed Continuation Passing - Thielecke (2003) (1 citation) (Correct)
Polymorphic Type Assignment and CPS Conversion - Harper, Lillibridge (1993) (30 citations) (Correct)
Polymorphic Type Assignment and CPS Conversion - Harper, Lillibridge (1996) (30 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Harper, Lillibridge (1993) (41 citations) (Correct)
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
CPS Translating Inductive and Coinductive Types (Extended.. - Barthe, Uustalu (2002) (Correct)
Thunks and the Lambda-Calculus - Hatcliff, Danvy (1996) (3 citations) (Correct)
Thunks and the lambda-Calculus - Hatcliff, Danvy (1997) (3 citations) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe (1996) (5 citations) (Correct)
CPS Translating Inductive and Coinductive Types (Extended.. - Barthe, Uustalu (2002) (Correct)
Syntactic Accidents in Program Analysis: On the Impact of the.. - Damian, Danvy (2000) (9 citations) (Correct)
CPS Transform for Dependent ML - Xi, Schürmann (Correct)
A Formulae-as-Types Notion of Control - Griffin (1990) (110 citations) (Correct)
Interconnecting Between CPS Terms and Non-CPS Terms - Kim, Yi (1 citation) (Correct)
Thunks and the Lambda-Calculus - Hatcliff, Danvy (1993) (3 citations) (Correct)
Polymorphic Type Assignment and CPS Conversion - To Appear Acm (Correct)
Relational Interpretations of Recursive Types in an.. - Lars Birkedal And (1997) (15 citations) (Correct)
Controlling Effects - Filinski (1996) (2 citations) (Correct)
Implementing Typeful Program Transformations - Chen, Xi (2003) (2 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (41 citations) (Correct)
Weak and Strong Normalization, K-redexes, and First-Order Logic - Neergaard (1999) (Correct)
Categorical Structure of Continuation Passing Style - Thielecke (1997) (18 citations) (Correct)
CPS Transformation of Flow Information - Palsberg, Wand (2001) (2 citations) Self-citation (Wand) (Correct)
CPS Transformation of Flow Information - Palsberg, Wand (2000) (2 citations) Self-citation (Wand) (Correct)
First 50 documents Next 50
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