Miëtek Bak is a functional programmer, author of Halcyon and Haskell on Heroku, and founder at Least Fixed in Cambridge. He fell in love with formal languages at University of Wrocław, where students are expected to fall in love with formal languages. Since then, he’s worked in a professional capacity with Erlang, OCaml, and Haskell.
Talks I've Given
-
Build Your Own Proof Assistant
Featuring Mietek Bak
Are the logical foundations of your favourite programming language not entirely satisfactory? Is your everyday programming work far too useful and practical? Have I got the talk for you! We’ll learn how parametric higher-order abstract syntax (PHOAS) makes it simple and easy to embed a logic in...
program type proof proposition language logic haskell
My Work
@mietek has not provided any work info yet.
Social and Blogging
@mietek has not provided social links yet.