Dagstuhl Reports, Volume 6, Issue 3,
-
Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue
10.4230/DagRep.6.3
-
Dagstuhl Reports, Table of Contents, Volume 6, Issue 3, 2016
10.4230/DagRep.6.3.i
-
Alejandro Lopez-Ortiz, Ulrich Carsten Meyer, Markus E. Nebel, and Robert Sedgewick
Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101)
10.4230/DagRep.6.3.1
-
Daniel Delling, Camil Demetrescu, David S. Johnson, and Jan Vitek
Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111)
10.4230/DagRep.6.3.24
-
Andrej Bauer, Martin Hofmann, Matija Pretnar, and Jeremy Yallop
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112)
10.4230/DagRep.6.3.44
-
Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, and Stephanie Weirich
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
10.4230/DagRep.6.3.59