Blog posts
Qualified Imports and Alias Resolution in Liquid HaskellSeptember 11, 2025
A hundred pull requests for Liquid HaskellMarch 20, 2025
The refactoring of a Haskell codebaseFebruary 06, 2025
Liquid Haskell through the compilersMay 30, 2024
Assumptions for Liquid Haskell in the largeJune 22, 2023
A journey through the auditing process of a smart contractMay 11, 2023
smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solversFebruary 14, 2023
Testing stateful systems, part two: Linear Temporal LogicOctober 14, 2022
A dialogue with Liquid HaskellJuly 21, 2022
Introducing Pirouette 2: formal methods for smart contractsJuly 01, 2022
A Case Study on Correctness and Safety Testing of Stateful SystemsJanuary 26, 2022
Why Liquid Haskell mattersJanuary 19, 2022
How to make your papers run: Executable formal semantics for your languageNovember 28, 2019
