|
17
|
Isolating Side Effects in Sequential Languages
– Jon G. Riecke, Ramesh Viswanathan
- 1995
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
|
Representing Control in Parallel Applicative Programming
– Chi Yao
- 1994
|
|
13
|
A Relational Account of Call-by-Value Sequentiality
– Anders B. Sandholm, Jon G. Riecke
- 1999
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
1
|
Semantic Orthogonality of Type Disciplines
– Jon G. Riecke, Ramesh Subrahmanyam
- 1997
|
|
|
Sequential Languages
– Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
|
|
57
|
Game Theoretic Analysis Of Call-By-Value Computation
– Kohei Honda, NOBUKO YOSHIDA
- 1997
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
|
The Logic and Expressibility of Simply-typed Call-by-value and Lazy Languages
– Albert R. Meyer, Campbell L. Searle, Jon G. Riecke, Jon Gary Riecke
- 1991
|
|
38
|
Observable Sequentiality and Full Abstraction
– Robert Cartwright, Matthias Felleisen
- 1992
|
|
1
|
A Framework for Programming Denotational Semantics in C++
– Nikolaos S. Papaspyrou
- 1996
|
|
17
|
Handling Control
– Dorai Sitaram
- 1993
|
|
31
|
A Semantic analysis of control
– James David Laird
- 1998
|
|
8
|
Typed Exceptions and Continuations Cannot Macro-Express Each Other
– Jon G. Riecke, Hayo Thielecke
- 1999
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
