Wouter Swierstra

58 papers A 2B 3C 4Misc 2Journal 21Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. PEPM Niek Mulleners, Johan Jeuring, Wouter Swierstra
2025	J	`jnl`	First-Order Laziness. Proc. ACM Program. Lang. Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
2025	—	`conf`	On the Correctness of Barron and Strachey's Cartesian Product Function. TFP Wouter Swierstra, Jason Hemann
2025	—	`conf`	Program Logics for Ledgers. FMBC Orestis Melkonian, Wouter Swierstra, James Chapman
2025	J	`jnl`	Towards type-directed compiler calculation. J. Funct. Program. Wouter Swierstra
2024	J	`jnl`	The Functional Essence of Imperative Binary Search Trees. Proc. ACM Program. Lang. Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
2024	J	`jnl`	Translation certification for smart contracts. Sci. Comput. Program. Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
2023	J	`jnl`	A correct-by-construction conversion from lambda calculus to combinatory logic. J. Funct. Program. Wouter Swierstra
2023	J	`jnl`	FP²: Fully in-Place Functional Programming. Proc. ACM Program. Lang. Anton Lorenzen, Daan Leijen, Wouter Swierstra
2022	J	`jnl`	A completely unique account of enumeration. Proc. ACM Program. Lang. Cas van der Rest, Wouter Swierstra
2022	J	`jnl`	A well-known representation of monoids and its application to the function 'vector reverse'. J. Funct. Program. Wouter Swierstra
2022	B	`conf`	Calculating Datastructures. MPC Ralf Hinze, Wouter Swierstra
2022	Misc	`conf`	Translation Certification for Smart Contracts. FLOPS Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
2022	J	`jnl`	Translation Certification for Smart Contracts. CoRR Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
2022	—	`ed.`	Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers TFP Wouter Swierstra, Nicolas Wu
2022	—	`conf`	Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation. IFL João Paulo Pizani Flor, Wouter Swierstra
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
2020	J	`jnl`	A Computational Evaluation of Musical Pattern Discovery Algorithms. CoRR Iris Yuping Ren, Anja Volk, Wouter Swierstra, Remco C. Veltkamp
2020	—	`conf`	Combining predicate transformer semantics for effects: a case study in parsing regular languages. MSFP@ETAPS Anne Baanen, Wouter Swierstra
2020	J	`jnl`	Heterogeneous binary random-access lists. J. Funct. Program. Wouter Swierstra
2019	J	`jnl`	A framework for improving error messages in dependently-typed languages. Open Comput. Sci. Joseph Eremondi, Wouter Swierstra, Jurriaan Hage
2019	J	`jnl`	A predicate transformer semantics for effects (functional pearl). Proc. ACM Program. Lang. Wouter Swierstra, Tim Baanen
2019	J	`jnl`	An efficient algorithm for type-safe structural diffing. Proc. ACM Program. Lang. Victor Cacciari Miraldo, Wouter Swierstra
2019	—	`conf`	What constitutes a musical pattern? FARM@ICFP Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk
2018	—	`conf`	Analysis by Classification: A Comparative Study of Annotated and Algorithmically Extracted Patterns in Symbolic Music Data. ISMIR Iris Yuping Ren, Anja Volk, Wouter Swierstra, Remco C. Veltkamp
2018	J	`jnl`	Embedding the refinement calculus in Coq. Sci. Comput. Program. João Alpuim, Wouter Swierstra
2018	—	`conf`	From algebra to abstract machine: a verified generic construction. TyDe@ICFP Carlos Tomé Cortiñas, Wouter Swierstra
2018	B	`conf`	Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware. ITP João Paulo Pizani Flor, Wouter Swierstra
2017	—	`conf`	Generic packet descriptions: verified parsing and pretty printing of low-level data. TyDe@ICFP Marcell van Geest, Wouter Swierstra
2017	—	`conf`	In Search of the Consensus Among Musical Pattern Discovery Algorithms. ISMIR Iris Yuping Ren, Hendrik Vincent Koops, Anja Volk, Wouter Swierstra
2017	J	`jnl`	Special issue on Programming with Dependent Types Editorial. J. Funct. Program. Wouter Swierstra, Peter Dybjer
2017	—	`conf`	Type-directed diffing of structured data. TyDe@ICFP Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra
2016	Misc	`conf`	From Proposition to Program - Embedding the Refinement Calculus in Coq. FLOPS Wouter Swierstra, João Alpuim
2016	—	`ed.`	Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016 TyDe@ICFP James Chapman, Wouter Swierstra
2015	B	`conf`	Auto in Agda - Programming Proof Search Using Reflection. MPC Pepijn Kokke, Wouter Swierstra
2015	—	`conf`	Datatype generic programming in F#. WGP@ICFP Ernesto Rodríguez, Wouter Swierstra
2015	—	`conf`	Pi-Ware: Hardware Description and Verification in Agda. TYPES João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling
2014	C	`ed.`	Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014 Haskell Wouter Swierstra
2014	—	`conf`	The Semantics of Version Control. Onward! Wouter Swierstra, Andres Löh
2013	J	`jnl`	A library for polymorphic dynamic typing. J. Funct. Program. Wouter Swierstra, Thomas van Noort
2012	—	`conf`	Engineering Proof by Reflection in Agda. IFL Paul van der Walt, Wouter Swierstra
2012	—	`conf`	Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht TFPIE Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra
2012	—	`conf`	From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine MSFP Wouter Swierstra
2012	—	`conf`	Pure and Lazy Lambda Mining - An Experience Report. IFL Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
2012	C	`conf`	xmonad in Coq Haskell Wouter Swierstra
2011	—	`conf`	Embedding polymorphic dynamic typing. WGP@ICFP Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer
2011	—	`ed.`	Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011 PLPV Ranjit Jhala, Wouter Swierstra
2011	J	`jnl`	Sorted - Verifying the Problem of the Dutch National Flag in Agda. J. Funct. Program. Wouter Swierstra
2010	J	`jnl`	A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae Andres Löh, Conor McBride, Wouter Swierstra
2010	J	`jnl`	More dependent types for distributed arrays. High. Order Symb. Comput. Wouter Swierstra
2009	—	`conf`	A Hoare Logic for the State Monad. TPHOLs Wouter Swierstra
2009	—	`—`	A functional specification of effects. Wouter Swierstra
2009	A	`conf`	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra
2008	J	`jnl`	Data types à la carte. J. Funct. Program. Wouter Swierstra
2008	—	`conf`	Dependent Types for Distributed Arrays. Trends in Functional Programming Wouter Swierstra, Thorsten Altenkirch
2008	A	`conf`	The power of Pi. ICFP Nicolas Oury, Wouter Swierstra
2007	C	`conf`	Beauty in the beast. Haskell Wouter Swierstra, Thorsten Altenkirch
2007	—	`conf`	Observational equality, now! PLPV Thorsten Altenkirch, Conor McBride, Wouter Swierstra