u/joehillenin r/haskell • Recommends
Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real World - BOB 2017
0:00 / 0:00
#liquidhaskell#refinementtypes#formalverification
BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl
BOBKonf
978 subscribers • 6 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Philipp Kant
Advanced. Deep dive for people who know the field.
1K views9 years ago1 recommendation
Programming languagesSystems programmingHaskellFormal methods and verificationPerformance and optimization
Philipp Kant shares a real-world case study of using Liquid Haskell to achieve both performance and safety guarantees.
Video from BOB 2017: bobkonf.de/2017/kant.htmlWhy it's here
1 person recommends thisWhat people say. Recommended as a practical example of using Liquid Haskell's refinement types in production.