Build Your Own Proof Assistant

8th October 2015 in London at CodeNode

There are 34 other SkillsCasts available from Haskell eXchange 2015

Please log in to watch this conference skillscast.

539024640 640

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 your favourite programming language — as long as it’s Haskell, Agda, or Idris. Then, by Jove, we’re going to prove some theorems!

Join us at the Haskell eXchange in 2016!

Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!


Thanks to our sponsors

Build Your Own Proof Assistant

Mietek Bak

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.