Liquid Haskell

Liquid Haskell Information Guide

1. About to Liquid Haskell
2. Core Information
3. Recent Updates
4. Expert Insights
5. Final Thoughts

About to Liquid Haskell

This talk by Niki Vazou took place at Lambda World 2024 on October 4th, at the Palacio de Congresos in Cádiz, Spain. Hi, this is our presentation of our OOPSLA paper "Verifying Replicated Data Types with Typeclass Refinements in Coinduction Inductively: Mechanizing Coinductive Proofs in Michael H. Borkowski is an Assistant Professor of Practice in the Department of Computer Science at Purdue University. Before ... Keynote talk presented at FLOPS 2022 on May 10, 2022. Today's most important computer systems are distributed systems: those ... Niki Vazou presents about the Haskell tool and research project

Core Information

Recent Updates

[Haskell'22] How to Safely Use Extensionality in Liquid Haskell

Liquidate Your Assets - Reasoning About Resource Usage in Liquid Haskell

Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell

[Haskell'22] Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell

Haskell in 100 Seconds

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

Adventures in Building Reliable Distributed Systems with Liquid Haskell (FLOPS 2022 keynote talk)

BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl

Liquid Haskell

Expert Insights

Data is compiled from public records and verified media reports.

Last Updated: June 12, 2026

Final Thoughts

Disclaimer: Disclaimer: Details estimates are based on publicly available data, media reports, and financial analysis. Actual numbers may vary.