211 Publications (Page 8 of 9)
Reasoning about programs in continuation-passing style.
Sabry, Amr and Felleisen, Matthias
Conference 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
Reasoning with Continuations III: A Complete Calculus of Control
Baseball Abstract
Baseball Abstract
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
Fractional Types
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
General Terms
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
Java Security in Parallel Universes
Languages, Theory