Matija Pretnar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Gordon D. Plotkin, Matija Pretnar: Handlers of Algebraic Effects. ESOP 2009: 80-94

2008

1 Gordon D. Plotkin, Matija Pretnar: A Logic for Algebraic Effects. LICS 2008: 118-129

	2009
2		Gordon D. Plotkin, Matija Pretnar: Handlers of Algebraic Effects. ESOP 2009: 80-94
	2008
1		Gordon D. Plotkin, Matija Pretnar: A Logic for Algebraic Effects. LICS 2008: 118-129

Coauthor Index