Liquid Haskell
From HandWiki
Liquid Haskell is a program verifier for Haskell which allows developers to specify correctness properties by using refinement types.[1][2] Properties are verified using an SMTLIB2-compliant SMT solver, such as the Z3 Theorem Prover.
See also
References
- ↑ Vazou, Niki (2016). Liquid Haskell: Haskell as a theorem prover (Thesis). University of California.
- ↑ Vazou, Niki; Seidel, Eric (2014). "Refinement types for Haskell". International Conference on Functional Programming. ACM. pp. 269–282. doi:10.1145/2692915.2628161. https://dl.acm.org/citation.cfm?id=2628161.
- Löh, Andres (2018). "Liquid Haskell Workshop". BOB 2018. https://liquid.kosmikus.org/.
- Jhala, Ranjit (2014). "Liquid Haskell". Boston Haskell User Group. https://www.youtube.com/watch?v=vYh27zz9530.
Further reading
- Vazou, Niki. "Liquid Haskell: Refinement Types for Haskell". The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018). https://popl18.sigplan.org/event/plmw-popl-2018-liquidhaskell-overview.
- Diatchki, Iavor (2015). "Improving Haskell types with SMT". Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015. ACM. pp. 1–10. doi:10.1145/2804302.2804307. ISBN 9781450338080.
External links
- "Liquid Haskell - HaskellWiki". https://wiki.haskell.org/Liquid_Haskell. Retrieved 31 March 2019.
 |  |
