Inferring Algebraic Effects von Pretnar, Matija

Volltext

Higher-Order Asynchronous Effects von Ahman, Danel, Pretnar, Matija

Volltext

Handling Algebraic Effects von Plotkin, Gordon D, Pretnar, Matija

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

An Effect System for Algebraic Effects and Handlers von Bauer, Andrej, Pretnar, Matija

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

An Introduction to Algebraic Effects and Handlers. Invited tutorial paper von Pretnar, Matija

Volltext

Explicit effect subtyping von KARACHALIAS, GEORGIOS, PRETNAR, MATIJA, SALEH, AMR HANY, VANDERHALLEN, STIEN, SCHRIJVERS, TOM

Volltext

Programming with algebraic effects and handlers von Bauer, Andrej, Pretnar, Matija

Volltext

No value restriction is needed for algebraic effects and handlers von KAMMAR, OHAD, PRETNAR, MATIJA

Volltext

Asynchronous effects von Ahman, Danel, Pretnar, Matija

Volltext

Local algebraic effect theories von LUKŠIČ, ŽIGA, PRETNAR, MATIJA

Volltext

Handlers of Algebraic Effects von Plotkin, Gordon, Pretnar, Matija

Volltext

Efficient compilation of algebraic effect handlers von Karachalias, Georgios, Koprivec, Filip, Pretnar, Matija, Schrijvers, Tom

Volltext

Explicit effect subtyping von Karachalias, Georgios, Pretnar, Matija, Saleh, Amr Hany, Vanderhallen, Stien, Schrijvers, Tom

Volltext

Continuing WebAssembly with Effect Handlers von Phipps-Costin, Luna, Rossberg, Andreas, Guha, Arjun, Leijen, Daan, Hillerström, Daniel, Sivaramakrishnan, KC, Pretnar, Matija, Lindley, Sam

Volltext

Bringing the WebAssembly Standard up to Speed with SpecTec von Youn, Dongjun, Shin, Wonho, Lee, Jaehyun, Ryu, Sukyoung, Breitner, Joachim, Gardner, Philippa, Lindley, Sam, Pretnar, Matija, Rao, Xiaojia, Watt, Conrad, Rossberg, Andreas

Volltext

Higher-Order Asynchronous Effects von Ahman, Danel, Pretnar, Matija

Volltext

Simplifying explicit subtyping coercions in a polymorphic calculus with effects von Koprivec, Filip, Pretnar, Matija

Volltext bestellen

A Logic for Algebraic Effects von Plotkin, G., Pretnar, M.

Volltext