Mgvc5wx6ntp2wfz1pt6v

Mathieu Boespflug

Mathieu Boespflug is a functional programmer and enthusiast based in Paris. He is the founder of Tweag I/O, an R&D Lab pushing the practice of programming language theory and distributed systems. Some time before that, after having learned Haskell from the venerable old and new guard at the University of York, he wrote Haskell and Ocaml at various academic institutions, focusing on compiler technologies for dependent types during his PhD (École Polytechnique, France) and type safe metaprogramming for both proofs and programs during his postdoc (McGill, Canada).

Talks I've Given