| Data types à la carte W Swierstra Journal of functional programming 18 (4), 423-436, 2008 | 408 | 2008 |
| Observational equality, now! T Altenkirch, C McBride, W Swierstra Proceedings of the 2007 workshop on Programming languages meets program …, 2007 | 199 | 2007 |
| The power of Pi N Oury, W Swierstra Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 103 | 2008 |
| Engineering proof by reflection in Agda P Van Der Walt, W Swierstra Implementation and Application of Functional Languages: 24th International …, 2013 | 78 | 2013 |
| Beauty in the beast W Swierstra, T Altenkirch Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007 | 77 | 2007 |
| Attribute grammars fly first-class: how to do aspect oriented programming in Haskell M Viera, SD Swierstra, W Swierstra Acm Sigplan Notices 44 (9), 245-256, 2009 | 73 | 2009 |
| A tutorial implementation of a dependently typed lambda calculus A Löh, C McBride, W Swierstra Fundamenta Informaticae 102 (2), 177-207, 2010 | 64 | 2010 |
| Embedded system performance P Stravers, J Van Eijndhoven, M Rutten, A Rodriguez, W Swierstra, ... US Patent 9,141,350, 2015 | 57 | 2015 |
| A Hoare Logic for the State Monad: Proof Pearl W Swierstra International Conference on Theorem Proving in Higher Order Logics, 440-451, 2009 | 55 | 2009 |
| A functional specification of effects W Swierstra University of Nottingham, 2009 | 42 | 2009 |
| Auto in agda: programming proof search using reflection P Kokke, W Swierstra Mathematics of Program Construction: 12th International Conference, MPC 2015 …, 2015 | 36 | 2015 |
| The semantics of version control W Swierstra, A Löh Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014 | 34 | 2014 |
| Pi-ware: Hardware description and verification in agda JP Pizani Flor, W Swierstra, Y Sijsling 21st International Conference on Types for Proofs and Programs (TYPES 2015 …, 2018 | 33 | 2018 |
| A predicate transformer semantics for effects (functional pearl) W Swierstra, T Baanen Proceedings of the ACM on Programming Languages 3 (ICFP), 1-26, 2019 | 31 | 2019 |
| In search of the consensus among musical pattern discovery algorithms IY Ren, HV Koops, A Volk, W Swierstra Proceedings of the 18th International Society for Music Information …, 2017 | 28 | 2017 |
| Generic packet descriptions: verified parsing and pretty printing of low-level data M van Geest, W Swierstra Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven …, 2017 | 18 | 2017 |
| Type-directed diffing of structured data VC Miraldo, PÉ Dagand, W Swierstra Proceedings of the 2Nd ACM SIGPLAN International Workshop on Type-Driven …, 2017 | 17 | 2017 |
| A principled approach to version control A Löh, W Swierstra, D Leijen Preprint. Available at: http://www. andres-loeh. de/VersionControl. html …, 2007 | 14 | 2007 |
| FP²: Fully in-Place Functional Programming A Lorenzen, D Leijen, W Swierstra Proceedings of the ACM on Programming Languages 7 (ICFP), 275-304, 2023 | 13 | 2023 |
| From Proposition to Program: Embedding the Refinement Calculus in Coq W Swierstra, J Alpuim Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016 | 13 | 2016 |
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
