Linear continuation passing

Research output: Contribution to journal › Article

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)181-208
Number of pages28
JournalHigher-Order and Symbolic Computation
Volume15
Issue number2/3
Publication statusPublished - 1 Jan 2002
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

DOI

By the same authors

Command injection attacks, continuations, and the Lambek calculus

Hayo Thielecke, 10 Apr 2015, 2015 Workshop on Continuations: pre-proceedings. Danvy, O. (ed.). AU Library Scholarly Publishing Services, 18 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The Essence of Reynolds

Uday Reddy, 1 May 2014, In: Formal Aspects of Computing. 26, 3, p. 435-439

Research output: Contribution to journal › Article › peer-review

On the semantics of parsing actions

Hayo Thielecke, 1 May 2014, In: Science of Computer Programming. 84, p. 52-76

Research output: Contribution to journal › Article › peer-review

Logical relations and parametricity - A Reynolds Programme for category theory and programming languages dedicated to the memory of John C. Reynolds, 1935-2013: in Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)

Uday Reddy, 28 Mar 2014, In: Electronic Notes in Theoretical Computer Science. 303, p. 149-180 32 p.

Research output: Contribution to journal › Article › peer-review

The Essence of Reynolds

Uday Reddy, 11 Jan 2014, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery , p. 251-255 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution