LiquidHaskell Blog - ucsd-progsys.github.io
2020-9-4 · Dsolve: Safety Verification via Liquid Types, CAV 2010; HMC: Verifying Functional Programs with Abstract Interpreters, CAV 2011; C. Low-level Liquid Types, POPL 2010; Deterministic Parallelism With Liquid Effects, PLDI 2012; Verifying C With Liquid Types, CAV 2012; Talks. The following talks are good tutorial introductions to the techniques ...
Get Price