Eelco Visser. Fast and Safe Linguistic Abstraction for the Masses. In A Research Agenda for Formal Methods in the Netherlands. pages 10-11, July 2019. [doi]
@incollection{Visser19-0,
title = {Fast and Safe Linguistic Abstraction for the Masses},
author = {Eelco Visser},
year = {2019},
month = {July},
url = {http://eelcovisser.org/blog/2019/09/29/fast-and-safe-linguistic-abstraction-for-the-masses/},
note = {Technical Report UU-CS-2019-004},
researchr = {https://researchr.org/publication/Visser19-0},
cites = {0},
citedby = {0},
pages = {10-11},
booktitle = {A Research Agenda for Formal Methods in the Netherlands},
organization = {Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands},
}