HTML Export for Dagstuhl Reports, Volume 6, Issue 3

Copy to Clipboard Download

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

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode