Hollow Capital
Liquid Types vs. Floyd-Hoare Logic
info
website
mathematics
,
refinement-types
,
floyd-hoare-logic
,
liquid-types
,
theoretical-computer-science
,
formal-verification
affine
March 24, 2024, 10:45am
1
https://ucsd-progsys.github.io/liquidhaskell-blog/2019/10/20/why-types.lhs/