Published in: DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Anish Tondwalkar, Matt Kolosick, and Ranjit Jhala. mist: Refinements of Futures Past (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 3:1-3:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{tondwalkar_et_al:DARTS.7.2.3, author = {Tondwalkar, Anish and Kolosick, Matt and Jhala, Ranjit}, title = {{mist: Refinements of Futures Past (Artifact)}}, pages = {3:1--3:11}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2021}, volume = {7}, number = {2}, editor = {Tondwalkar, Anish and Kolosick, Matt and Jhala, Ranjit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.7.2.3}, URN = {urn:nbn:de:0030-drops-140275}, doi = {10.4230/DARTS.7.2.3}, annote = {Keywords: Refinement Types, Implicit Parameters, Verification, Dependent Pairs} }
Feedback for Dagstuhl Publishing