On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control von FORSTER, YANNICK, KAMMAR, OHAD, LINDLEY, SAM, PRETNAR, MATIJA

Volltext

Doo bee doo bee doo von CONVENT, LUKAS, LINDLEY, SAM, MCBRIDE, CONOR, MCLAUGHLIN, CRAIG

Volltext

Exceptional asynchronous session types: session types without tiers von Fowler, Simon, Lindley, Sam, Morris, J. Garrett, Decova, Sára

Volltext

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control von Forster, Yannick, Kammar, Ohad, Lindley, Sam, Pretnar, Matija

Volltext

Separating Sessions Smoothly von Fowler, Simon, Kokke, Wen, Dardha, Ornela, Lindley, Sam, Morris, J. Garrett

Volltext

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday von Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Volltext

Sessions as Propositions von Lindley, Sam, Morris, J. Garrett

Volltext

Handlers in action von Kammar, Ohad, Lindley, Sam, Oury, Nicolas

Volltext

Asymptotic speedup via effect handlers von HILLERSTRÖM, DANIEL, LINDLEY, SAM, LONGLEY, JOHN

Volltext

Effect handlers via generalised continuations von HILLERSTRÖM, DANIEL, LINDLEY, SAM, ATKEY, ROBERT

Volltext

Talking bananas: structural recursion for session types von Lindley, Sam, Morris, J. Garrett

Volltext

Proceedings ML Family / OCaml Users and Developers workshops: Preface von Lindley, Sam, Scherer, Gabriel

Volltext

A practical theory of language-integrated query von Cheney, James, Lindley, Sam, Wadler, Philip

Volltext

A polymorphic RPC calculus von Choi, Kwanghoon, Cheney, James, Fowler, Simon, Lindley, Sam

Volltext

Proceedings Eighth Workshop on Mathematically Structured Functional Programming: Preface von Lindley, Sam, New, Max S.

Volltext

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming: Preface von Atkey, Robert, Lindley, Sam

Volltext

Effect Handlers for C via Coroutines von Alvarez-Picallo, Mario, Freund, Teodoro, Ghica, Dan R., Lindley, Sam

Volltext

The Functional Essence of Imperative Binary Search Trees von Lorenzen, Anton, Leijen, Daan, Swierstra, Wouter, Lindley, Sam

Volltext

Soundly Handling Linearity von Tang, Wenhao, Hillerström, Daniel, Lindley, Sam, Morris, J. Garrett

Volltext

Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane von Hughes, John

Volltext