Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation, V. 2)

Denotational semantics for a program logic of objects

Mathematical Structures in Computer Science

Call-by-push-value: Decomposing call-by-value and call-by-name

Higher-Order and Symbolic Computation

Amb Breaks Well-Pointedness, Ground Amb Doesn't

Electronic Notes in Theoretical Computer Science (ENTCS)

Relational Parametricity for Control Considered as a Computational Effect

Electronic Notes in Theoretical Computer Science (ENTCS)

Combining algebraic effects with continuations

Theoretical Computer Science

Extensional Universal Types for Call-by-Value

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems

Coherence of subsumption for monadic types

Journal of Functional Programming

Infinite Trace Equivalence

Electronic Notes in Theoretical Computer Science (ENTCS)

Monads and Adjunctions for Global Exceptions

Electronic Notes in Theoretical Computer Science (ENTCS)

Semantics for Local Computational Effects

Electronic Notes in Theoretical Computer Science (ENTCS)

A logic for parametric polymorphism with effects

TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs

A Nominal Relational Model for Local Store

Electronic Notes in Theoretical Computer Science (ENTCS)

Arrows are strong monads

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming

A typed semantics of higher-order store and subtyping

ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science

Separation logic for higher-order store

CSL'06 Proceedings of the 20th international conference on Computer Science Logic

Linearly-Used continuations in the enriched effect calculus

FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures

Computation-by-Interaction with effects

APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems

Typed normal form bisimulation

CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic

Handlers in action

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Parametric effect monads and semantics of effect systems

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Freyd categories are Enriched Lawvere Theories

Electronic Notes in Theoretical Computer Science (ENTCS)