Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wouter Swierstra
@article{DBLP:journals/jfp/Swierstra23,
author = {Wouter Swierstra},
title = {A correct-by-construction conversion from lambda calculus to combinatory
logic},
journal = {J. Funct. Program.},
volume = {33},
year = {2023},
url = {https://doi.org/10.1017/s0956796823000084},
doi = {10.1017/S0956796823000084},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Swierstra23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LorenzenLS23,
author = {Anton Lorenzen and
Daan Leijen and
Wouter Swierstra},
title = {FP{\({^2}\)}: Fully in-Place Functional Programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {275--304},
year = {2023},
url = {https://doi.org/10.1145/3607840},
doi = {10.1145/3607840},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LorenzenLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Swierstra22,
author = {Wouter Swierstra},
title = {A well-known representation of monoids and its application to the
function 'vector reverse'},
journal = {J. Funct. Program.},
volume = {32},
pages = {e10},
year = {2022},
url = {https://doi.org/10.1017/S0956796822000065},
doi = {10.1017/S0956796822000065},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Swierstra22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RestS22,
author = {Cas van der Rest and
Wouter Swierstra},
title = {A completely unique account of enumeration},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {411--437},
year = {2022},
url = {https://doi.org/10.1145/3547636},
doi = {10.1145/3547636},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RestS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KrijnenCKS22,
author = {Jacco O. G. Krijnen and
Manuel M. T. Chakravarty and
Gabriele Keller and
Wouter Swierstra},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Translation Certification for Smart Contracts},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {94--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_6},
doi = {10.1007/978-3-030-99461-7\_6},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KrijnenCKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeS22,
author = {Ralf Hinze and
Wouter Swierstra},
editor = {Ekaterina Komendantskaya},
title = {Calculating Datastructures},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {62--101},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_3},
doi = {10.1007/978-3-031-16912-0\_3},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HinzeS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2022,
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4},
doi = {10.1007/978-3-031-21314-4},
isbn = {978-3-031-21313-7},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04919,
author = {Jacco O. G. Krijnen and
Manuel M. T. Chakravarty and
Gabriele Keller and
Wouter Swierstra},
title = {Translation Certification for Smart Contracts},
journal = {CoRR},
volume = {abs/2201.04919},
year = {2022},
url = {https://arxiv.org/abs/2201.04919},
eprinttype = {arXiv},
eprint = {2201.04919},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-04919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
author = {Richard S. Bird and
Jeremy Gibbons and
Ralf Hinze and
Peter H{\"{o}}fner and
Johan Jeuring and
Lambert G. L. T. Meertens and
Bernhard M{\"{o}}ller and
Carroll Morgan and
Tom Schrijvers and
Wouter Swierstra and
Nicolas Wu},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Algorithmics},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {59--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_3},
doi = {10.1007/978-3-030-81701-5\_3},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Swierstra20,
author = {Wouter Swierstra},
title = {Heterogeneous binary random-access lists},
journal = {J. Funct. Program.},
volume = {30},
pages = {e10},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000064},
doi = {10.1017/S0956796820000064},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Swierstra20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00197,
author = {Anne Baanen and
Wouter Swierstra},
editor = {Max S. New and
Sam Lindley},
title = {Combining predicate transformer semantics for effects: a case study
in parsing regular languages},
booktitle = {Proceedings Eighth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020},
series = {{EPTCS}},
volume = {317},
pages = {39--56},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.317.3},
doi = {10.4204/EPTCS.317.3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-12325,
author = {Iris Yuping Ren and
Anja Volk and
Wouter Swierstra and
Remco C. Veltkamp},
title = {A Computational Evaluation of Musical Pattern Discovery Algorithms},
journal = {CoRR},
volume = {abs/2010.12325},
year = {2020},
url = {https://arxiv.org/abs/2010.12325},
eprinttype = {arXiv},
eprint = {2010.12325},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-12325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejcs/EremondiSH19,
author = {Joseph Eremondi and
Wouter Swierstra and
Jurriaan Hage},
title = {A framework for improving error messages in dependently-typed languages},
journal = {Open Comput. Sci.},
volume = {9},
number = {1},
pages = {1--32},
year = {2019},
url = {https://doi.org/10.1515/comp-2019-0001},
doi = {10.1515/COMP-2019-0001},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cejcs/EremondiSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SwierstraB19,
author = {Wouter Swierstra and
Tim Baanen},
title = {A predicate transformer semantics for effects (functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {103:1--103:26},
year = {2019},
url = {https://doi.org/10.1145/3341707},
doi = {10.1145/3341707},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SwierstraB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiraldoS19,
author = {Victor Cacciari Miraldo and
Wouter Swierstra},
title = {An efficient algorithm for type-safe structural diffing},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {113:1--113:29},
year = {2019},
url = {https://doi.org/10.1145/3341717},
doi = {10.1145/3341717},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MiraldoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MelkonianRSV19,
author = {Orestis Melkonian and
Iris Yuping Ren and
Wouter Swierstra and
Anja Volk},
editor = {Donya Quick and
Daniel Winograd{-}Cort},
title = {What constitutes a musical pattern?},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modeling, and Design, FARM@ICFP 2019, Berlin, Germany,
August 18-23, 2019},
pages = {95--105},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331543.3342587},
doi = {10.1145/3331543.3342587},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MelkonianRSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlpuimS18,
author = {Jo{\~{a}}o Alpuim and
Wouter Swierstra},
title = {Embedding the refinement calculus in Coq},
journal = {Sci. Comput. Program.},
volume = {164},
pages = {37--48},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.04.003},
doi = {10.1016/J.SCICO.2017.04.003},
timestamp = {Tue, 18 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AlpuimS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CortinasS18,
author = {Carlos {Tom{'{e}} Corti{~{n}}as} and
Wouter Swierstra},
editor = {Richard A. Eisenberg and
Niki Vazou},
title = {From algebra to abstract machine: a verified generic construction},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018},
pages = {78--90},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3240719.3241787},
doi = {10.1145/3240719.3241787},
timestamp = {Tue, 11 Dec 2018 18:43:36 +0100},
biburl = {https://dblp.org/rec/conf/icfp/CortinasS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/RenVSV18,
author = {Iris Yuping Ren and
Anja Volk and
Wouter Swierstra and
Remco C. Veltkamp},
editor = {Emilia G{\'{o}}mez and
Xiao Hu and
Eric Humphrey and
Emmanouil Benetos},
title = {Analysis by Classification: {A} Comparative Study of Annotated and
Algorithmically Extracted Patterns in Symbolic Music Data},
booktitle = {Proceedings of the 19th International Society for Music Information
Retrieval Conference, {ISMIR} 2018, Paris, France, September 23-27,
2018},
pages = {539--546},
year = {2018},
url = {http://ismir2018.ircam.fr/doc/pdfs/75\_Paper.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismir/RenVSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/FlorS18,
author = {Jo{\~{a}}o Paulo Pizani Flor and
Wouter Swierstra},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Verified Timing Transformations in Synchronous Circuits with {\textbackslash}lambda
{\textbackslash}pi -Ware},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {504--522},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_30},
doi = {10.1007/978-3-319-94821-8\_30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/FlorS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwierstraD17,
author = {Wouter Swierstra and
Peter Dybjer},
title = {Special issue on Programming with Dependent Types Editorial},
journal = {J. Funct. Program.},
volume = {27},
pages = {e15},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000065},
doi = {10.1017/S0956796817000065},
timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SwierstraD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MiraldoDS17,
author = {Victor Cacciari Miraldo and
Pierre{-}{\'{E}}variste Dagand and
Wouter Swierstra},
editor = {Sam Lindley and
Brent A. Yorgey},
title = {Type-directed diffing of structured data},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017},
pages = {2--15},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122975.3122976},
doi = {10.1145/3122975.3122976},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MiraldoDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GeestS17,
author = {Marcell van Geest and
Wouter Swierstra},
editor = {Sam Lindley and
Brent A. Yorgey},
title = {Generic packet descriptions: verified parsing and pretty printing
of low-level data},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017},
pages = {30--40},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122975.3122979},
doi = {10.1145/3122975.3122979},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/GeestS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/RenKVS17,
author = {Iris Yuping Ren and
Hendrik Vincent Koops and
Anja Volk and
Wouter Swierstra},
editor = {Sally Jo Cunningham and
Zhiyao Duan and
Xiao Hu and
Douglas Turnbull},
title = {In Search of the Consensus Among Musical Pattern Discovery Algorithms},
booktitle = {Proceedings of the 18th International Society for Music Information
Retrieval Conference, {ISMIR} 2017, Suzhou, China, October 23-27,
2017},
pages = {671--678},
year = {2017},
url = {https://ismir2017.smcnus.org/wp-content/uploads/2017/10/120\_Paper.pdf},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismir/RenKVS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SwierstraA16,
author = {Wouter Swierstra and
Jo{\~{a}}o Alpuim},
editor = {Oleg Kiselyov and
Andy King},
title = {From Proposition to Program - Embedding the Refinement Calculus in
Coq},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {29--44},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_3},
doi = {10.1007/978-3-319-29604-3\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/SwierstraA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016tyde,
editor = {James Chapman and
Wouter Swierstra},
title = {Proceedings of the 1st International Workshop on Type-Driven Development,
TyDe@ICFP 2016, Nara, Japan, September 18, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976022},
doi = {10.1145/2976022},
isbn = {978-1-4503-4435-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2016tyde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RodriguezS15,
author = {Ernesto Rodr{\'{\i}}guez and
Wouter Swierstra},
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Datatype generic programming in F{\#}},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
pages = {23--32},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098.2808101},
doi = {10.1145/2808098.2808101},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/RodriguezS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KokkeS15,
author = {Pepijn Kokke and
Wouter Swierstra},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Auto in Agda - Programming Proof Search Using Reflection},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {276--301},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_14},
doi = {10.1007/978-3-319-19797-5\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/KokkeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/FlorSS15,
author = {Jo{\~{a}}o Paulo Pizani Flor and
Wouter Swierstra and
Yorick Sijsling},
editor = {Tarmo Uustalu},
title = {Pi-Ware: Hardware Description and Verification in Agda},
booktitle = {21st International Conference on Types for Proofs and Programs, {TYPES}
2015, May 18-21, 2015, Tallinn, Estonia},
series = {LIPIcs},
volume = {69},
pages = {9:1--9:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2015.9},
doi = {10.4230/LIPICS.TYPES.2015.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/FlorSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SwierstraL14,
author = {Wouter Swierstra and
Andres L{\"{o}}h},
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
title = {The Semantics of Version Control},
booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
on New Ideas, New Paradigms, and Reflections on Programming {\&}
Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
2014},
pages = {43--54},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136.2661137},
doi = {10.1145/2661136.2661137},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SwierstraL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2014,
editor = {Wouter Swierstra},
title = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357},
doi = {10.1145/2633357},
isbn = {978-1-4503-3041-1},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwierstraN13,
author = {Wouter Swierstra and
Thomas van Noort},
title = {A library for polymorphic dynamic typing},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {229--248},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000063},
doi = {10.1017/S0956796813000063},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SwierstraN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Swierstra12,
author = {Wouter Swierstra},
editor = {Janis Voigtl{\"{a}}nder},
title = {xmonad in Coq \emph{(experience report)}: programming a window manager
in a proof assistant},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2012, Copenhagen, Denmark, 13 September 2012},
pages = {131--136},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364506.2364523},
doi = {10.1145/2364506.2364523},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Swierstra12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WaltS12,
author = {Paul van der Walt and
Wouter Swierstra},
editor = {Ralf Hinze},
title = {Engineering Proof by Reflection in Agda},
booktitle = {Implementation and Application of Functional Languages - 24th International
Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {157--173},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41582-1\_10},
doi = {10.1007/978-3-642-41582-1\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/WaltS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WuMBS12,
author = {Nicolas Wu and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Jeroen Bransen and
Wouter Swierstra},
editor = {Ralf Hinze},
title = {Pure and Lazy Lambda Mining - An Experience Report},
booktitle = {Implementation and Application of Functional Languages - 24th International
Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {207--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41582-1\_13},
doi = {10.1007/978-3-642-41582-1\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/WuMBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5077,
author = {Jurri{\"{e}}n Stutterheim and
Wouter Swierstra and
S. Doaitse Swierstra},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {Forty hours of declarative programming: Teaching Prolog at the Junior
College Utrecht},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {50--62},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.4},
doi = {10.4204/EPTCS.106.4},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2924,
author = {Wouter Swierstra},
editor = {James Chapman and
Paul Blain Levy},
title = {From Mathematics to Abstract Machine: {A} formal derivation of an
executable Krivine machine},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {163--177},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.10},
doi = {10.4204/EPTCS.76.10},
timestamp = {Fri, 27 Dec 2019 21:15:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Swierstra11,
author = {Wouter Swierstra},
title = {Sorted - Verifying the Problem of the Dutch National Flag in Agda},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {573--583},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000207},
doi = {10.1017/S0956796811000207},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Swierstra11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NoortSAP11,
author = {Thomas van Noort and
Wouter Swierstra and
Peter Achten and
Rinus Plasmeijer},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Embedding polymorphic dynamic typing},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {25--36},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036923},
doi = {10.1145/2036918.2036923},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NoortSAP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2011,
editor = {Ranjit Jhala and
Wouter Swierstra},
title = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0487-0},
timestamp = {Mon, 14 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LohMS10,
author = {Andres L{\"{o}}h and
Conor McBride and
Wouter Swierstra},
title = {A Tutorial Implementation of a Dependently Typed Lambda Calculus},
journal = {Fundam. Informaticae},
volume = {102},
number = {2},
pages = {177--207},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-304},
doi = {10.3233/FI-2010-304},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LohMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Swierstra10,
author = {Wouter Swierstra},
title = {More dependent types for distributed arrays},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {4},
pages = {489--506},
year = {2010},
url = {https://doi.org/10.1007/s10990-011-9075-y},
doi = {10.1007/S10990-011-9075-Y},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Swierstra10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Swierstra09,
author = {Wouter Swierstra},
title = {A functional specification of effects},
school = {University of Nottingham, {UK}},
year = {2009},
url = {http://eprints.nottingham.ac.uk/10779/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Swierstra09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VieraSS09,
author = {Marcos Viera and
S. Doaitse Swierstra and
Wouter Swierstra},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Attribute grammars fly first-class: how to do aspect oriented programming
in Haskell},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {245--256},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596586},
doi = {10.1145/1596550.1596586},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VieraSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Swierstra09,
author = {Wouter Swierstra},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {A Hoare Logic for the State Monad},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {440--451},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_30},
doi = {10.1007/978-3-642-03359-9\_30},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Swierstra09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Swierstra08,
author = {Wouter Swierstra},
title = {Data types {\`{a}} la carte},
journal = {J. Funct. Program.},
volume = {18},
number = {4},
pages = {423--436},
year = {2008},
url = {https://doi.org/10.1017/S0956796808006758},
doi = {10.1017/S0956796808006758},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Swierstra08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OuryS08,
author = {Nicolas Oury and
Wouter Swierstra},
editor = {James Hook and
Peter Thiemann},
title = {The power of Pi},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {39--50},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411213},
doi = {10.1145/1411204.1411213},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OuryS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SwierstraA08,
author = {Wouter Swierstra and
Thorsten Altenkirch},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Dependent Types for Distributed Arrays},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {17--32},
publisher = {Intellect},
year = {2008},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SwierstraA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SwierstraA07,
author = {Wouter Swierstra and
Thorsten Altenkirch},
editor = {Gabriele Keller},
title = {Beauty in the beast},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007,
Freiburg, Germany, September 30, 2007},
pages = {25--36},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291201.1291206},
doi = {10.1145/1291201.1291206},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/SwierstraA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/AltenkirchMS07,
author = {Thorsten Altenkirch and
Conor McBride and
Wouter Swierstra},
editor = {Aaron Stump and
Hongwei Xi},
title = {Observational equality, now!},
booktitle = {Proceedings of the {ACM} Workshop Programming Languages meets Program
Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
pages = {57--68},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292597.1292608},
doi = {10.1145/1292597.1292608},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/plpv/AltenkirchMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-22 19:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
