Matija Pretnar

According to our database1, Matija Pretnar authored at least 18 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Asynchronous effects.
Proc. ACM Program. Lang., 2021

2020
Local algebraic effect theories.
J. Funct. Program., 2020

Explicit effect subtyping.
J. Funct. Program., 2020

2018
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172).
Dagstuhl Reports, 2018

Explicit Effect Subtyping.
Proceedings of the Programming Languages and Systems, 2018

2017
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.
Proc. ACM Program. Lang., 2017

No value restriction is needed for algebraic effects and handlers.
J. Funct. Program., 2017

2016
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112).
Dagstuhl Reports, 2016

Design and Implementation of the Andromeda Proof Assistant.
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2015
Programming with algebraic effects and handlers.
J. Log. Algebraic Methods Program., 2015

An Introduction to Algebraic Effects and Handlers. Invited tutorial paper.
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

A low overhead automated service for teaching programming.
Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

2014
Inferring Algebraic Effects.
Log. Methods Comput. Sci., 2014

An Effect System for Algebraic Effects and Handlers.
Log. Methods Comput. Sci., 2014

2013
Handling Algebraic Effects.
Log. Methods Comput. Sci., 2013

2010
Logic and handling of algebraic effects.
PhD thesis, 2010

2009
Handlers of Algebraic Effects.
Proceedings of the Programming Languages and Systems, 2009

2008
A Logic for Algebraic Effects.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008


  Loading...