Services
Key industries
Biotech
Fintech
Autonomous Vehicles
Open source
Contact
Careers
Team
Research
Blog
Blog: liquidhaskell (1 post)
all
haskell
nix
data-science
linear-types
bazel
devops
internship
statistics
asterius
fellowship
inline-java
jobs
python
icfp
nickel
ocaml
ghc
formal-methods
capability
webassembly
trustix
blockchain
golang
optics
processes
smart-contracts
auditing
rust
liquidhaskell
profiling
tutorial
distributed-algorithms
random
19 January 2022
Why Liquid Haskell matters
On the relevance of Liquid Haskell in programming languages
liquidhaskell
haskell
formal-methods