- LiquidHaskell refines Haskell's types with logical predicates that let you enforce critical properties at compile time https://ucsd-progsys.github.io/liquidhaskell-blog/ 18 comments programming
- Liquid Haskell has a fancy new homepage! https://ucsd-progsys.github.io/liquidhaskell-blog/ 41 comments haskell
Linking pages
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
- Episode 14 - Richard Eisenberg on Dependent Types in Haskell - The Haskell Cast http://www.haskellcast.com/episode/014-richard-eisenberg-on-dependent-types-in-haskell 11 comments
- building-software.md · GitHub https://gist.github.com/serras/caf3b7056f609c63a028f15c47a3ff4e 11 comments
- GitHub - nomeata/ghc-proofs: Let GHC prove program equations for you https://github.com/nomeata/ghc-proofs 9 comments
- My FLOPS 2022 keynote talk: “Adventures in Building Reliable Distributed Systems with Liquid Haskell” - decomposition ∘ al https://decomposition.al/blog/2022/07/20/my-flops-2022-keynote-talk-adventures-in-building-reliable-distributed-systems-with-liquid-haskell/ 4 comments
- GitHub - fthomas/refined: Refinement types for Scala https://github.com/fthomas/refined 3 comments
- Corrode update: control flow translation correctness https://jamey.thesharps.us/2017/04/06/corrode-update-control-flow-translation/ 0 comments
- POPL 2020 in Review | SIGPLAN Blog https://blog.sigplan.org/2020/02/19/popl-2020-in-review/ 0 comments
- Can we all just call it “type narrowing”? | by Han | Medium https://laughinghan.medium.com/can-we-all-just-call-it-type-narrowing-f629554f3a41 0 comments
- wuffs/related-work.md at main · google/wuffs · GitHub https://github.com/google/wuffs/blob/main/doc/related-work.md 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:ucsd-progsys.github.io
Search title: LiquidHaskell refines Haskell's types with logical predicates that let you enforce critical properties at compile time
See how to search.