Liquid Haskell
| Original author(s) | Niki Vazou, Eric Seidel Ranjit Jhala |
|---|---|
| Initial release | 2014 |
| Stable release | 0.9.2.5
/ October 18, 2023 |
| Repository | github |
| Written in | Haskell |
| Available in | English |
| Type | Formal program verifier |
| License | BSD 3-clause |
| Website | ucsd-progsys |
Liquid Haskell is a
SMTLIB2-compliant, such as the Z3 Theorem Prover
.
See also
References
- ^ Vazou, Niki (2016). Liquid Haskell: Haskell as a theorem prover (Thesis). University of California.
- .
- Löh, Andres (2018). Liquid Haskell Workshop. BOB 2018.
- Jhala, Ranjit (2014). Liquid Haskell. Boston Haskell User Group.
Further reading
- 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. S2CID 16429107.
External links
- "Liquid Haskell - HaskellWiki". wiki.haskell.org. Retrieved 31 March 2019.
- Liquid Haskell on GitHub
Haskell programming | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Software |
|  | ||||||||||||||||||||
| Community |
| |||||||||||||||||||||
 Book  Category:Family Category:Software | ||||||||||||||||||||||
 | This formal methods-related article is a stub. You can help Wikipedia by expanding it. |
.svg){kind=logo} | This free and open-source software article is a stub. You can help Wikipedia by expanding it. |