`Travelled to:`

1 × USA

1 × United Kingdom

`Collaborated with:`

G.D.Plotkin A.H.Saleh G.Karachalias T.Schrijvers

`Talks about:`

effect (3) algebra (2) explicit (1) handler (1) subtyp (1) logic (1)

## Person: Matija Pretnar

### DBLP: Pretnar:Matija

### Contributed to:

### Wrote 3 papers:

- ESOP-2009-PlotkinP #algebra
- Handlers of Algebraic Effects (GDP, MP), pp. 80–94.
- LICS-2008-PlotkinP #algebra #logic
- A Logic for Algebraic Effects (GDP, MP), pp. 118–129.
- ESOP-2018-SalehKPS #type system
- Explicit Effect Subtyping (AHS, GK, MP, TS), pp. 327–354.