Matija Pretnar

Identifiers

• name variant Matija Pretnar 0.60 · backfill

Papers (4)

1. Design and Implementation of the Andromeda Proof Assistant cs.LO · 2018 · author #4
2. On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control cs.LO · 2016 · author #4
3. No value restriction is needed for algebraic effects and handlers cs.PL · 2016 · author #2
4. Programming with Algebraic Effects and Handlers cs.PL · 2012 · author #2

Mentions

• 1203.1539 #2 · backfill · confidence 0.70 Matija Pretnar

Frequent Coauthors

• Andrej Bauer 2 shared papers
• Ohad Kammar 2 shared papers
• Christopher A. Stone 1 shared papers
• Ga\"etan Gilbert 1 shared papers
• Philipp G. Haselwarter 1 shared papers
• Sam Lindley 1 shared papers
• Yannick Forster 1 shared papers