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
Haskell meets Java
Featuring Mathieu Boespflug
In this talk, you will discover that broad language interoperability is crucial for Haskell's success in not entirely insignificant niches such as the enterprise. And that performance of language binding mechanisms is the key to retaining good modularity. Hot on the heals of previous efforts...distributed-programming jvm interoperability ffi Spark java haskellx haskell