My talk "A History of Effect Systems" from ZuriHac 2025 has been published! (Link in reply) Thanks very much to the ZuriHac organizers for having me to talk and for running a great Haskell event.

Presenting PhantomWiki with Albert and Johann at #ICML2025 on Tuesday 11am + an oral talk at Long Context Workshop on Saturday! Come say hi/chat about LLM reasoning and retrieval evaluation! icml.cc/virtual/2025/p…

In his latest article, "Specifications Don't Exist," Galois Principal Scientist Mike Dodds explores formal specifications, informal specifications, and the inescapable burden of having to clarify our ideas. Give it a read! galois.com/articles/speci…

Stream programs are monoid homomorphisms with state. arxiv.org/abs/2507.10799

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications. arxiv.org/abs/2507.13091

Delighted that "The Calculated Typer" with Zac Garby and Patrick Bahr has been accepted for the Haskell Symposium in Singapore :-) people.cs.nott.ac.uk/pszgmh/typer.p…

Understanding Haskell-style Overloading via Open Data and Open Functions. arxiv.org/abs/2507.16086

More OCaml tomfoolery: farlow.dev/2025/07/27/enc…

Choreographic λ-calculi are a hot topic. You might know models like Pirouette or Chorλ. But did you know researchers don't agree what the "right" semantics should even be? Our ICFP pearl builds a tiny calculus from scratch, and shows the right semantics is... non-strict!?

Happy to share that our ICFP’25 paper “multi-stage programming with splice variables” with Tsung-Ju Chiang received a Distinguished Paper Award! See you in Singapore! icfp25.sigplan.org/details/icfp-2…

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees. arxiv.org/abs/2503.21691

A blog post summarizing our latest work: a static analyzer that leverages Rust in a non-trivial way! blog.brownplt.org/2025/08/03/par…

Let's get to know Alperen Keleş , and learn how Turso benefits his career: turso.tech/blog/faces-of-…

Metaprogramming in Lean, Talk 3 (June 25, 2025). ~ Heather Macbeth. youtu.be/TJ8Tqv6A0Nc #ITP #LeanProver

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version). arxiv.org/abs/2503.04512

Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects! xvw.lol/en/articles/wh… I hope you find this interesting, and I welcome any feedback!

New blog post from Arthur Jamet, my PhD student: Using Template Haskell to derive the structure of records and simulate structural subtyping arthichaud.xyz/posts/type-mac…

Invertible Syntax without the Tuples (Functional Pearl). arxiv.org/abs/2508.09856

Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix_2…

If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇