BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl
Channel: BOB
Date: 2017-03-21

Video from BOB 2017:

http://bobkonf.de/2017/kant.html