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 • 7 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.
u/chshershin r/haskell • Mentions
On “Liquid Haskell use case?”
You can watch this talk if you're interesting in real world applications of `LiquidHaskell`:
link to this video