|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
26
|
A Syntactic Theory of Dynamic Binding
– Luc Moreau
- 1997
|
|
7
|
Call byName, Assignment and the Lambda Calculus
– Martin Odersky, Dan Rabin, Paul Hudak
- 1992
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
47
|
Fully abstract semantics for observably sequential languages
– Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen
- 1994
|
|
34
|
Functional Nets
– Martin Odersky
- 2000
|
|
12
|
Reasoning about Explicit and Implicit Representations of State
– Amr Sabry , John Field
- 1993
|
|
103
|
A Practical Soft Type System for Scheme
– Andrew K. Wright, Robert Cartwright
- 1993
|
|
4
|
A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state
– Johan Munk
- 2008
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
5
|
Sound Rules for Parallel Evaluation of a Functional Language with callcc
– Luc Moreau, Daniel Ribbens
- 1993
|
|
15
|
Monadic Encapsulation in ML
– Miley Semmelroth, Amr Sabry
- 1999
|
|
5
|
Revisiting Coroutines
– Ana Lucia de Moura, Roberto Ierusalimschy
- 2004
|
|
24
|
Monadic State: Axiomatization and Type Safety
– John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated
- 1997
|
|
18
|
The Semantics of Scheme with Future
– Luc Moreau
- 1996
|
