Community hub
0 subscribers7 pages, 0 posts
Recent from talks
All channels
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Contribute something
Welcome to the community hub built to collect knowledge and have discussions related to Liquid Haskell.
Nothing was collected or created yet.
Liquid Haskell
View on Wikipediafrom Wikipedia
| Liquid Haskell | |
|---|---|
| Original authors | Niki Vazou, Eric Seidel Ranjit Jhala |
| Initial release | 2014 |
| Stable release | 0.9.12.2
/ March 22, 2025 |
| Repository | github |
| Written in | Haskell |
| Available in | English |
| Type | Formal program verifier |
| License | BSD 3-clause |
| Website | ucsd-progsys |
Liquid Haskell is a program verifier for the programming language Haskell which allows specifying correctness properties by using refinement types.[1][2] Properties are verified using a satisfiability modulo theories (SMT) solver which is SMTLIB2-compliant, such as the Z3 Theorem Prover.
See also
[edit]References
[edit]- ^ Vazou, Niki (2016). Liquid Haskell: Haskell as a theorem prover (Thesis). University of California.
- ^ Vazou, Niki; Seidel, Eric (2014). "Refinement types for Haskell". Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference on Functional Programming. ACM. pp. 269–282. doi:10.1145/2692915.2628161.
- Löh, Andres (2018). Liquid Haskell Workshop. BOB 2018.
- Jhala, Ranjit (2014). Liquid Haskell. Boston Haskell User Group.
Further reading
[edit]- Vazou, Niki (2018). Liquid Haskell: Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).
- 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. S2CID 16429107.
External links
[edit]- "Liquid Haskell - HaskellWiki". wiki.haskell.org. Retrieved 31 March 2019.
- Liquid Haskell on GitHub
Haskell programming | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Software |
|  | ||||||||||||||||||||
| Book | ||||||||||||||||||||||
| Community |
| |||||||||||||||||||||
 | This formal methods-related article is a stub. You can help Wikipedia by adding missing information. |
.svg){kind=logo} | This free and open-source software article is a stub. You can help Wikipedia by adding missing information. |