Explicit Level Imports awarded best paper at TFP 2025
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
Wednesday, 30 April 2025
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
Wednesday, 30 April 2025
Based in | Sheffield, UK |
Email: | matthew@well-typed.com |
Matthew learned Haskell as an undergraduate at the University of Oxford before completing a PhD in Computer Science from the University of Bristol in 2020. His thesis focused on improvements to Typed Template Haskell and other challenges related to multi-stage programming. He has also contributed to the development of many open source Haskell libraries including ghcide, worked on profiling and debugging tools and implemented many patches for GHC.