A Sound and Complete Logic for Algebraic Effects
Cristina Matache and Sam Staton
Book Title
Foundations of Software Science and Computation Structures − 22nd International Conference‚ FOSSACS 2019‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2019‚ Prague‚ Czech Republic‚ April 6−11‚ 2019‚ Proceedings
Editor
Mikolaj Bojanczyk and Alex Simpson
Pages
382–399
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
11425
Year
2019