From Partial to Monadic: Combinatory Algebra with Effects.

Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey

Browse the full FSCD paper archive.