I keep track of a list of publications on my homepage http://www.staff.science.uu.nl/~swier004/publications
Publications
2023
Scholarly publications
Lorenzen, A., Leijen, D., & Swierstra, W. (2023). FP^2: Fully in-Place Functional Programming. Proceedings of the ACM on Programming Languages, 7, 1-30. [198].
2022
Scholarly publications
Pizani Flor, J. P., & Swierstra, W. (2022). Verified technology mapping in an Agda DSL for circuit design. Paper presented at Implementation and Application of Functional Languages, Copenhagen, Denmark.
Swierstra, W., & Wu, N. (2022). Trends in Functional Programming. (Lecture Notes in Computer Science; Vol. 13401). Springer.
Hinze, R., & Swierstra, W. (2022). Calculating datastructures. In Mathematics of Program Construction Springer.
Swierstra, W. (2022). A well-known representation of monoids and its application to the function 'vector reverse': Functional Pearl. Journal of Functional Programming, 32, 1-16. https://doi.org/10.1017/S0956796822000065
van der Rest, C., & Swierstra, W. (2022). A completely unique account of enumeration. Proceedings of the ACM on Programming Languages, 6, 411–437. [105]. https://doi.org/10.1145/3547636
Krijnen, J., Chakravarty, M., Keller, G., & Swierstra, W. (2022). Translation Certification for Smart Contracts. In M. Hanus, & A. Igarashi (Eds.), Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings (pp. 94-111). (Lecture Notes in Computer Science (LNCS); Vol. 13215). Springer. https://doi.org/10.1007/978-3-030-99461-7_6
2021
Scholarly publications
Bird, R., Gibbons, J., Hinze, R., Höfner, P., Jeuring, J., Meertens, L., Möller, B., Morgan, C., Schrijvers, T., & Swierstra, W. (2021). Algorithmics. In Advancing Research in Information and Communication Technology (pp. 59-98). (IFIP Advances in Information and Communication Technology; Vol. 600). Springer. https://doi.org/10.1007/978-3-030-81701-5_3
2020
Scholarly publications
Baanen, T., & Swierstra, W. S. (2020). Combining predicate transformer semantics for effects: A case study in parsing regular languages. Manuscript submitted for publication. In Workshop on Mathematically structured functional programming
Swierstra, W. S. (2020). Heterogeneous binary random-access lists. Journal of Functional Programming, 30, [e10]. https://doi.org/10.1017/S0956796820000064
2019
Scholarly publications
Huisman, M., Swierstra, W., & Visser, E. (2019). A research agenda for formal methods in the Netherlands. (Technical Report Series; No. UU-CS-2019-004). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/390071/2019_CS_004.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/390071/2019_CS_004.pdf?sequence=1
Melkonian, O., Swierstra, W. S., & Chakravarty, M. (2019). Formal Investigation of the Extended UTxO Mode: Extended Abstract. In TyDe 2019: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019 Association for Computing Machinery.
van der Rest, C., Chakravarty, M., & Swierstra, W. S. (2019). Generic Enumerators: Extended abstract. In TyDe 2019: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019 Association for Computing Machinery.
Melkonian, O., Ren, Y., Swierstra, W. S., & Volk, A. (2019). What Constitutes a Musical Pattern? An Empirical Investigation using Haskell. In FARM 2019: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Cacciari Miraldo, V., & Swierstra, W. S. (2019). An Efficient Algorithm for Type-Safe Structural Diffing. Proceedings of the ACM on Programming Languages (PACM PL), 3(ICFP). https://doi.org/10.1145/3341717
Swierstra, W. S., & Baanen, T. (2019). A predicate transformer semantics for effects: Functional Pearl. Proceedings of the ACM on Programming Languages (PACM PL), 3(ICFP), [103]. https://doi.org/10.1145/3341707
Eremondi, J., Swierstra, W., & Hage, J. (2019). A framework for improving error messages in dependently-typed languages. Open Computer Science, 9(1), 1-32. https://doi.org/10.1515/comp-2019-0001
2018
Scholarly publications
Eremondi, J., Hage, J., & Swierstra, W. S. (2018). Improving Error Messages for Dependent Types. Manuscript submitted for publication. In International Conference on Functional Programming 2018
Ren, Y., Koops, H. V., Bountouridis, D., Volk, A., Swierstra, W. S., & Veltkamp, R. C. (2018). Feature analysis of repeated patterns in Dutch folk songs using Principal Component Analysis. In A. Holzapfel, & A. Pikrakis (Eds.), Proceedings of the 8th International Workshop on Folk Music Analysis (FMA2018) (pp. 86-88). Aristotle University of Thessaloniki.
https://dspace.library.uu.nl/bitstream/handle/1874/373973/fma_proceedings_2018_94_95.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/373973/fma_proceedings_2018_94_95.pdf?sequence=1
Ren, Y., Volk, A., Swierstra, W. S., & Veltkamp, R. C. (2018). Analysis by classification: A comparative study of annotated and algorithmically extracted patterns in symbolic music data. 539-546. Paper presented at The 19th International Society for Music Information Retrieval Conference, Paris, France. http://ismir2018.ircam.fr/doc/pdfs/75_Paper.pdf
https://dspace.library.uu.nl/bitstream/handle/1874/373956/ren.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/373956/ren.pdf?sequence=1
Tomé Cortiñas, C., & Swierstra, W. S. (2018). From algebra to abstract machine: A verified generic construction. In Proceedings of the workshop on Type-driven Develeopment (TyDe)
Eremondi, J., Hage, J., & Swierstra, W. S. (2018). Improving Error Messages for Dependent Types.
Pizani Flor, J. P., & Swierstra, W. S. (2018). Verified Timing Transformations in Synchronous Circuits with λπ -Ware. In 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 (pp. 504-522). (LNCS; Vol. 10895). Springer. https://doi.org/10.1007/978-3-319-94821-8_30
Ren, Y., Nieto, O., Koops, H. V., Volk, A., & Swierstra, W. S. (2018). Investigating Musical Pattern Ambiguity in a Human Annotated Dataset.
https://dspace.library.uu.nl/bitstream/handle/1874/373437/icmpc2018v2.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/373437/icmpc2018v2.pdf?sequence=1
2017
Scholarly publications
Miraldo, VC., & Swierstra, W. (2017). Structure-aware Version Control: A generic approach using Agda. (Technical Report Series; No. UU-CS-2017-002). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/359543/2017_002.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/359543/2017_002.pdf?sequence=1
Alpuim, J., & Swierstra, W. (Accepted/In press). Embedding the refinement calculus in Coq. Science of Computer Programming. https://doi.org/10.1016/j.scico.2017.04.003
van Geest, M., & Swierstra, W. (2017). Generic packet descriptions: Verified Parsing and Pretty Printing of Low-Level Data. In Proceedings of the Workshop on Type Directed Development, TyDe 2017, Oxford, UK (pp. 30-40)
https://dspace.library.uu.nl/bitstream/handle/1874/355262/7.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/355262/7.pdf?sequence=1
Swierstra, W., & Dybjer, P. (2017). Editorial: Special issue on Programming with Dependent Types. Journal of Functional Programming, 27, [E15]. https://doi.org/10.1017/S0956796817000065
Miraldo, V. C., Dagand, P. E., & Swierstra, W. (2017). Type-Directed Diffing of Structured Data. In Proceedings of the Workshop on Type Directed Development, TyDe~'17, Oxford, UK
https://dspace.library.uu.nl/bitstream/handle/1874/355261/9.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/355261/9.pdf?sequence=1
Ren, I. Y., Koops, H. V., Volk, A., & Swierstra, W. (2017). In Search Of The Consensus Among Musical Pattern Discovery Algorithms. In X. Hu, S. J. Cunningham, D. Turnbull, & Z. Duan (Eds.), Proceedings of the 18th International Society for Music Information Retrieval Conference: October 23 - 27, 2017 Suzhou, China (pp. 671-678). ISMIR press. https://ismir2017.smcnus.org/proceedings/
https://dspace.library.uu.nl/bitstream/handle/1874/355260/8.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/355260/8.pdf?sequence=1
2016
Scholarly publications
Pizani Flor, J. P., Swierstra, W. S., & Sijsling, Y. (2016). π-Ware: Hardware Description and Verification in Agda. In T. Uustalu (Ed.), 21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015: Abstracts (pp. 67-68). Institute of Cybernetics, Tallinn Technical University. https://doi.org/10.4230/LIPIcs.TYPES.2015.9
Swierstra, W. S., & Alpuim, J. (2016). From proposition to program: Embedding the refinement calculus in Coq. In Thirteenth international symposium on Functional and Logic Programming
2015
Scholarly publications
Rodriguez, E., & Swierstra, W. S. (2015). Datatype generic programming in F#. In Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming (pp. 23-32). https://doi.org/10.1145/2808098.2808101
Hausmann, P., Dijkstra, A., & Swierstra, W. (2015). The Utrecht Agda Compiler. In Trends in Functional Programming
Kokke, P., & Swierstra, W. (2015). Auto in Agda: Programming proof search in a language with dependent types. In Proceedings of Mathematics of Program Construction
2014
Scholarly publications
Swierstra, W. S., & Löh, A. (2014). The Semantics of Version Control. In Symposium on New Ideas in Programming and Reflections on Software (Onward!)
Professional publications
Kugler, F., Eidhof, C., & Swierstra, W. (2014). Functional Programming in Swift. Objc.io. http://www.objc.io/books
2013
Scholarly publications
Swierstra, W. S., & van Noort, T. (2013). A library for polymorphic dynamic typing. Journal of Functional Programming, 23, 229-248. https://doi.org/10.1017/S0956796813000063
2012
Scholarly publications
Swierstra, W. S. (2012). xmonad in Coq (experience report): programming a window manager in a proof assistant. In Proceedings of the 2012 symposium on Haskell symposium (pp. 131-136). ACM. https://doi.org/10.1145/2364506.2364523
Swierstra, W. S. (2012). From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine. In J. Chapman, & P. B. Levy (Eds.), Proceedings Fourth Workshop on Mathematically Structured Functional Programming, (pp. 163-177). Open Publishing Association. https://doi.org/10.4204/EPTCS.76.10
Swierstra, W. S., & van der Walt, P. (2012). Engineering Proof by Reflection in Agda. In Implementation and Applications of Functional Languages (IFL)
Swierstra, W. S. (2012). xmonad in Coq. In Haskell '12: Proceedings of the ACM SIGPLAN Workshop on Haskell
Stutterheim, J., Swierstra, W. S., & Swierstra, S. D. (2012). Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht. In Trends in Functional Programming in Education
Wu, N., Magalhães, J. P., Bransen, J., & Swierstra, W. S. (2012). Pure and Lazy Lambda Mining: An Experience Report. In Implementation and Applications of Functional Languages (IFL) https://doi.org/10.1007/978-3-642-41582-1_13