Facundo Domínguez
@facundominguez.bsky.social
Software engineer, father, based in Uruguay
Reposted by Facundo Domínguez
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
#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...
conf.researchr.org
May 13, 2025 at 11:28 AM
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
#FUNARCH2025
Reposted by Facundo Domínguez
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
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
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...
conf.researchr.org
March 19, 2025 at 9:18 PM
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
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
Reposted by Facundo Domínguez
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!
A hundred pull requests for Liquid Haskell
An overview of the improvements in the latest Liquid Haskell release
www.tweag.io
March 21, 2025 at 10:46 AM
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...
March 3, 2025 at 3:11 PM
Hello! Coming from x.com/FacundoDomng...