| No. |
Title |
Author |
Year |
| 1 |
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112) |
Bauer, Andrej et al. |
2016 |
| 2 |
Multivariate Amortised Resource Analysis for Term Rewrite Systems |
Hofmann, Martin et al. |
2015 |
| 3 |
Computing With a Fixed Number of Pointers (Invited Talk) |
Hofmann, Martin et al. |
2013 |
| 4 |
10351 Abstracts Collection -- Modelling, Controlling and Reasoning About State |
Ahmed, Amal et al. |
2010 |
| 5 |
10351 Executive Summary -- Modelling, Controlling and Reasoning About State |
Ahmed, Amal et al. |
2010 |
| 6 |
08061 Abstracts Collection -- Types, Logics and Semantics for State |
Ahmed, Amal et al. |
2008 |
| 7 |
08061 Executive Summary -- Types, Logics and Semantics for State |
Ahmed, Amal et al. |
2008 |
| 8 |
04381 Abstracts Collection -- Dependently Typed Programming |
Altenkirch, Thorsten et al. |
2005 |
