Fast and Safe Linguistic Abstraction for the Masses

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.

@incollection{Visser19-0,
  title = {Fast and Safe Linguistic Abstraction for the Masses},
  author = {Eelco Visser},
  year = {2019},
  month = {July},
  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},
}