211 Publications (Page 9 of 9)
Lazy v. Yield: Incremental, Linear Pretty-printing
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog
QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming
QPL 2005 Preliminary Version An algebra of pure quantum programming Abstract
Quantum Circuits: From a Network to a One-Way Model
Reasoning about Programs in Continuation-Passing Style
Theoretical Informatics and Applications Will be set by the publisher Informatique Théorique et Applications AN ABSTRACT MONADIC SEMANTICS FOR VALUE RECURSION ∗, ∗∗
www.elsevier.com/locate/entcs An Algebra of Pure Quantum Programming
Yield, the Control Operator Applications and a Conjecture
