Max Carroll
email, github, LinkedIn

I'm Attending ICFP & SPLASH 2025!

Date posted:
Tags: ICFP, SPLASH, HATRA, Conference, Programming Languages
Reading time: less than a minute

I've just landed in Singapore to attend my first conference, the world leading ICFP/SPLASH 2025, over the coming week. Looking forward to broadening my horizons on the state of research in programming language design, theory, and implementation; there looks to be many interesting talks in the program. I'll be documenting my thoughts on some of what I see in the next few days.

I'll also be giving my first (25m) talk on Tuesday!! The talk is based on research conducted during my undergraduate dissertation at Cambridge and will take place at the HATRA 25 (Human Aspects of Types and Reasoning Assistants) workshop. My work aims to improve both understanding and debugging of [bidirectional type systems](tag/bidirectional types)1 by creating interactive highlighting methods inspired by program slicing2.

Blog Posts:

2025-10-12
Day 1 (Reading time: 10 minutes)
2025-10-13
Day 2 (Reading time: 13 minutes)
2025-10-14
Day 3 (Reading time: 10 minutes)
2025-10-16
Day 5 (Reading time: 5 minutes)
2025-10-18
Day 7 (Reading time: less than a minute)

1See Jana Dunfield's and Neel Krishnaswami's brilliant introduction.

2Especially that of Roly Perera. 'Functional Programs that Explain their Work' is a good introduction.