Publications Programmable Record Types in Haskell Arthur Jamet and Michael Vollmer In Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) , 2026 Code DOI Type-Safe and Portable Support for Packed Data (Experience Paper) Arthur Jamet and Michael Vollmer In 39th European Conference on Object-Oriented Programming, ECOOP , 2025 Code DOI