publications: - title: "A Research Agenda for Formal Methods in the Netherlands" author: - name: "Marieke Huisman" link: "https://researchr.org/alias/marieke-huisman" - name: "Wouter Swierstra" link: "http://www.cse.chalmers.se/~wouter/" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2019" month: "July" doi: "http://www.staff.science.uu.nl/~swier004/publications/2019-CS-004.pdf" abstract: "On September 3 and 4, 2018, we organized a meeting on formal methods research in the Netherlands. Goal of the meeting was to create a Dutch formal methods community, to increase awareness of each other’s activities, and to find common grounds for collaborations. All researchers working on formal methods in the Netherlands were invited to contribute a 2-page abstract with their vision on the future of formal methods research. This document bundles these visions." links: doi: "http://www.staff.science.uu.nl/~swier004/publications/2019-CS-004.pdf" researchr: "https://researchr.org/publication/HuismanSV19" cites: 0 citedby: 0 institution: "Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands" number: "UU-CS-2019-004" kind: "techreport" key: "HuismanSV19" - title: "Beauty in the beast" author: - name: "Wouter Swierstra" link: "http://www.cse.chalmers.se/~wouter/" - name: "Thorsten Altenkirch" link: "http://www.cs.nott.ac.uk/~txa" year: "2007" doi: "http://doi.acm.org/10.1145/1291201.1291206" links: doi: "http://doi.acm.org/10.1145/1291201.1291206" tags: - "Haskell" researchr: "https://researchr.org/publication/SwierstraA07" cites: 0 citedby: 0 pages: "25-36" booktitle: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007" editor: - name: "Gabriele Keller" link: "https://researchr.org/alias/gabriele-keller" publisher: "ACM" isbn: "978-1-59593-674-5" kind: "inproceedings" key: "SwierstraA07" - title: "The power of Pi" author: - name: "Nicolas Oury" link: "http://www.inf.ed.ac.uk/people/staff/Nicholas_Oury.html" - name: "Wouter Swierstra" link: "http://www.cse.chalmers.se/~wouter/" year: "2008" doi: "http://doi.acm.org/10.1145/1411204.1411213" links: doi: "http://doi.acm.org/10.1145/1411204.1411213" researchr: "https://researchr.org/publication/OuryS08" cites: 0 citedby: 0 pages: "39-50" booktitle: "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008" editor: - name: "James Hook" link: "https://researchr.org/alias/james-hook" - name: "Peter Thiemann" link: "http://www.informatik.uni-freiburg.de/~thiemann/" publisher: "ACM" isbn: "978-1-59593-919-7" kind: "inproceedings" key: "OuryS08" - title: "Data types à la carte" author: - name: "Wouter Swierstra" link: "http://www.cse.chalmers.se/~wouter/" year: "2008" doi: "http://dx.doi.org/10.1017/S0956796808006758" links: doi: "http://dx.doi.org/10.1017/S0956796808006758" tags: - "data-flow" researchr: "https://researchr.org/publication/Swierstra08" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "18" number: "4" pages: "423-436" kind: "article" key: "Swierstra08" - title: "Observational equality, now!" author: - name: "Thorsten Altenkirch" link: "http://www.cs.nott.ac.uk/~txa" - name: "Conor McBride" link: "http://personal.cis.strath.ac.uk/~conor/" - name: "Wouter Swierstra" link: "http://www.cse.chalmers.se/~wouter/" year: "2007" doi: "http://doi.acm.org/10.1145/1292597.1292608" links: doi: "http://doi.acm.org/10.1145/1292597.1292608" researchr: "https://researchr.org/publication/AltenkirchMS07" cites: 0 citedby: 0 pages: "57-68" booktitle: "Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007" editor: - name: "Aaron Stump" link: "https://researchr.org/alias/aaron-stump" - name: "Hongwei Xi" link: "http://www.cs.bu.edu/~hwxi/" publisher: "ACM" isbn: "978-1-59593-677-6" kind: "inproceedings" key: "AltenkirchMS07"