Facundo Domínguez

FUNARCH 2025 - ICFP/SPLASH 2025 The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...

Only a little more than a month before the deadline on Mon. June 16: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! conf.researchr.org/home/icfp-sp...

#FUNARCH2025

FUNARCH 2025 - ICFP/SPLASH 2025 The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...

The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category!
conf.researchr.org/home/icfp-sp...

functional-architecture.org/events/funarch

A hundred pull requests for Liquid Haskell An overview of the improvements in the latest Liquid Haskell release

A new version of Liquid Haskell is out, featuring the work of several contributors to improve the proof mechanisms, support for CVC5 and more. In his new blog post, @facundominguez.bsky.social takes you on a tour of the highlights!

Hello! Coming from x.com/FacundoDomng...