#liquidhaskell search results

Verifying the functional correctness of Braun trees with LiquidHaskell. ~ Felipe de León, Alberto Pardo, Marcos Viera. systemf.epfl.ch/etc/vstte2025/… #Haskell #FunctionalProgramming #LiquidHaskell

Google Summer of Code #gsoc blog post! Read Xavier Góngora's tour of his project to bring #LiquidHaskell a step closer to large code bases tweag.io/blog/2025-09-1…

💧 Ready to make your Haskell code watertight? Join @nikivazou at #LambdaWorld for "Liquid Haskell: Verification with Refinement Types"! She’ll show how to use refinement types to keep your programs leak-free and bug-proof! 💦💡 #Haskell #LiquidHaskell #FunctionalProgramming

Readings shared September 13, 2024. jaalonso.github.io/vestigium/post… #Haskell #FunctionalProgramming #LiquidHaskell #Emacs #OrgMode

Reflecting away from definitions in Liquid Haskell. ~ Jonathan Arnoult. tweag.io/blog/2024-09-1… #Haskell #FunctionalProgramming #LiquidHaskell

Liquid amortization: Proving amortized complexity with LiquidHaskell (Functional pearl). ~ Jan van Brügge. arxiv.org/abs/2407.13671 #FunctionalProgramming #Haskell #LiquidHaskell

Modular implementation and formalization of dynamic policies (Work in progress). ~ Antonio Zegarelli, Niki Vazou, Marco Guarnieri. fcs-workshop.github.io/fcs2024/papers… #FunctionalProgramming #LiquidHaskell

Liquid Haskell through the compilers. ~ Facundo Domínguez. tweag.io/blog/2024-05-3… #FunctionalProgramming #LiquidHaskell

Calling all Haskellers to help us understand what are the challenges in adopting #liquidhaskell

Towards a translation from Liquid Haskell to Coq. ~ Lykourgos Mastorou, Niki Vazou, Michael Greenberg. types2023.webs.upv.es/TYPES2023.pdf#… #ITP #LiquidHaskell #Coq

Assumptions for Liquid Haskell in the large. ~ Facundo Domínguez. tweag.io/blog/2023-06-2… #Haskell #LiquidHaskell #FunctionalProgramming

Verified causal broadcast with Liquid Haskell. ~ Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper. arxiv.org/abs/2206.14767 #Haskell #FunctionalProgramming #LiquidHaskell

I just completed all 25 days of Advent of Code 2022! adventofcode.com #AdventOfCode You can find all my #LiquidHaskell solutions at github.com/mgritter/aoc-l…, or watch me (sometimes painfully!) program them on my Youtube live coding playlist: youtube.com/watch?v=vIYJFM…

Here's my favorite code from today! It computes all the points at a given Manhattan distance from a sensor, and the specification caught a bug. (Of course, so would looking at the output.) Not sure if #LiquidHaskell can reason about the List monad. It can't about [x..y].

Day 15 in the bag. I just finished a proof of termination in #LiquidHaskell for #AdventOfCode day 13's comparison function. It has three different measures! (1) tree height, and (3) the length of lists being compared. But we also need to support promotions of Numbers to lists.

Halfway done with #AdventOfCode! My live stream coding in #LiquidHaskell starts for day 13... twitch.tv/markgritter

Oh, man, I just realized that the reason reflection wasn't working in my #LiquidHaskell live stream was because I didn't enable the --reflection flag. I really with liquid would give a sensible error in this case.

Yesterday's #AdventOfCode went pretty well, thanks to help from @gnarf! Starting up the livestream for day 10 in #LiquidHaskell a few minutes early to talk about proofs. Follow along: twitch.tv/markgritter Yesterday's code: github.com/mgritter/aoc-l…

Starting up the livestream for day 7 of #AdventOfCode in #LiquidHaskell a few minutes late. twitch.tv/markgritter

#LiquidHaskell struggles tonight: getting the convention right for type aliases. Small letters must be type arguments, and capital letters must be values! (The error messages are not very helpful when you screw this up.)

Here's my favorite code from today! It computes all the points at a given Manhattan distance from a sensor, and the specification caught a bug. (Of course, so would looking at the output.) Not sure if #LiquidHaskell can reason about the List monad. It can't about [x..y].

#zurihac day 2 #liquidhaskell keynote @nikivazou

Day 15 in the bag. I just finished a proof of termination in #LiquidHaskell for #AdventOfCode day 13's comparison function. It has three different measures! (1) tree height, and (3) the length of lists being compared. But we also need to support promotions of Numbers to lists.

📢 @janschultecom & @adriangonzl will be giving a workshop about #LiquidHaskell: A strongly typed martini. Shaken, not stirred. 🍸 at #LambdaWorld. Don't miss it: cadiz.lambda.world/schedule/#sess…

. @philipp_kant on #LiquidHaskell at #BOBkonf2017 !

intersection of #PrequelMemes and #LiquidHaskell is so pure

LiquidHaskell not running and complaining about not satsifying packages stackoverflow.com/questions/6460… #liquidhaskell #hackage #stack #installation

Refactoring some old code to use #liquidhaskell .... deleting so much code :D

@nikivazou describing inductive proofs in #LiquidHaskell, #HaskellX

reddit.com/r/haskell/comm… #LiquidHaskell @nikivazou @RanjitJhala

Don't miss @FacundoDomngu12 at next week's #HaskellX conference. He'll share how you can use the #LiquidHaskell program verifier to untangle your spaghetti 🍝 Tickets still available at bit.ly/3fRHISo

We are very pleased to say that @FacundoDomngu12 will return to #HaskellX with a fascinating look at #LiquidHaskell and how it can be used as a tool to understand what a program is doing via specifications. #Haskell Explore the full conference lineup at events.skillsmatter.com/haskellx2022

This December, join @FacundoDomngu12 at #HaskellX. He'll show how you can use the #LiquidHaskell program verifier to untangle your spaghetti 🍝 Conference tickets at bit.ly/3CayLLn

That's a wrap on workshops! This round we conquered #Blockchain, #Scala, #LiquidHaskell, and #Coq! Thanks to @janschultecom, @adriangonzl, @AnafyAmit, @Anton_A_Trunov, and David Urdiales-Nieto and Juan Manuel Garcia Navarro. #LambdaWorld

Looking forward to @nikivazou (developer of #LiquidHaskell) delivering a #haskell-themed #keynote at this year's #haskellX! To join Niki and her dreams of bringing formal verification into everyday programming, head here: ed.gr/u6cn #FP #FunctionalProgramming #Types

#LiquidHaskell is a tool to verify programs. But at our upcomign #HaskellX conference, @FacundoDomngu12 will share how it can be used as a tool to understand what a program is doing via specifications. #Haskell Read the full talk abstract at bit.ly/3SW8neI

Last week we announced that @FacundoDomngu12 will return to #HaskellX with a fascinating look at #LiquidHaskell and how it can be used as a tool to understand what a program is doing via specifications. #Haskell Explore the full conference lineup at bit.ly/3SZArhl

💧 Ready to make your Haskell code watertight? Join @nikivazou at #LambdaWorld for "Liquid Haskell: Verification with Refinement Types"! She’ll show how to use refinement types to keep your programs leak-free and bug-proof! 💦💡 #Haskell #LiquidHaskell #FunctionalProgramming