We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A. Bauer, M. Pretnar: An Effect System for Algebraic Effects and Hand… …lers, LMCS 10(4), 2014
O. Kammar, M. Pretnar: No value restriction is needed for algebraic e… …ffects and handlers, JFP 27, 2017
A. H. Saleh, G. Karachalias, M. Pretnar, T. Schrijvers: Explicit Effe… …ct Subtyping, ESOP 2018
Y. Forster, O. Kammar, S. Lindley, M. Pretnar: On the Expressive Powe… …r of User-Defined Effects, ICFP 2017