MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Linear Continuation-Passing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

Linear Continuation-Passing
by Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke — 2002 — in the 2001 ACM SIGPLAN Workshop on Continuations (CW'01
…Linear Continuation-Passing Josh Berdine and Peter O'Hearn ( fberdine, ohearng…
Cited by 3 (1 self) – Add To MetaCart

Linear Continuation-Passing
by Josh Berdine And, Josh Berdine, Uday Reddy, Hayo Thielecke — 2002 — in the 2001 ACM SIGPLAN Workshop on Continuations (CW'01
…Linear Continuation-Passing Josh Berdine and Peter O'Hearn ( fberdine, ohearng…
Add To MetaCart

Semantics of linear continuation-passing in call-by-name
by Masahito Hasegawa — 2004 — In Proc. Functional and Logic Programming, Springer Lecture Notes in Comput. Sci
…Semantics of Linear Continuation-Passing in Call-by-Name Masahito Hasegawa 1,2 1 Research…
Cited by 4 (4 self) – Add To MetaCart

From Control Effects to Typed Continuation Passing
by Hayo Thielecke — 2003 — In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’03
… language of the continuation-passing transform. In this paper, we establish the connection between…
Cited by 12 (1 self) – Add To MetaCart

About Translations of Classical Logic into Polarized Linear Logic
by Olivier Laurent, Preuves Programmes Systemes, Laurent Regnier — 2003 — In Proceedings of the eighteenth annual IEEE symposium on Logic In Computer Science
… translation: LK CPS - CLC H H H H H H !?A(?B j LL !A(B ? Linearity of continuations vs. continuation-passing…
Cited by 5 (0 self) – Add To MetaCart

Linear Continuations
by Andrzej Filinski — 1992 — In Nineteenth ACM Symposium on Principles of Programming Languages
… (a; b))) = k: k (D E 1 ; DE 2 ) In other words, "linear continuation-passing style" does…
Cited by 27 (1 self) – Add To MetaCart

A logic for parametric polymorphism with effects
by Rasmus Ejlers Møgelberg, Alex Simpson
… (linear) continuation-passing translation of Levy’s CBPV. In Section 3 below we formulate a logic…
Cited by 1 (0 self) – Add To MetaCart

Relational Parametricity for Computational Effects
by unknown authors
… incorporating both linear and continuation-passing settings as special cases. We thank him and Paul Levy…
Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB