213 Publications (Page 8 of 9)
1992
Reasoning about programs in continuation-passing style.Sabry, Amr and Felleisen, MatthiasPROC 92 ACM CONF LISP FUNCT PROGRAM., 1992.
| Journal Article
Reasoning about programs in continuation-passing style.Sabry, Amr and Felleisen, MatthiasConference on LISP and Functional Programming: Proceedings of the 1992 ACM conference on LISP and functional programming; 22-24 June 1992. 1992.
| Conference Proceeding
Reasoning about programs in continuation-passing style.Sabry, Amr and Felleisen, MatthiasACM SIGPLAN Lisp Pointers, vol. V, (no. 1), pp. 288-298, 1992.
| Journal Article
Reasoning about Programs in Continuation-Passing Style
Reasoning with Continuations III: A Complete Calculus of Control
1979
Retrospective on “The essence of compiling with continuations”, in
n.d.no date or unknown
A Monadic Framework for Delimited Continuations
A Protocol for Reversible Distributed Computation
A Type and Effect System for Contract Monitoring
Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov
Computational Content of Unique Decomposition Proofs
CPS in Little Pieces: Composing Partial Continuations
Dagger Traced Symmetric Monoidal Categories and Reversible Programming
Embracing the Laws of Physics (Full Presentation)
Encoding Secure Information Flow with Restricted Delegation and Revocation in Haskell
Expressing Contract Monitors as Patterns of Communication
Extensible Effects An Alternative to Monad Transformers
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
Geometry of Discrete Quantum Computing
HOOTS99 Preliminary Version Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog Abstract
Isomorphic Interpreters from Logically Reversible Abstract Machines