211 Publications (Page 8 of 9)
1992
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
1983
Baseball Abstract
 
Baseball Abstract
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
 
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