#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
June 19, 2025 at 7:08 AM
#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Today at #SPLASH 2025 / @icfp-conference.bsky.social: @catarinavgamboa.bsky.social will re-present our #PLDI2025 paper on Usability Barriers for Liquid Types.
Today at #SPLASH 2025 / @icfp-conference.bsky.social: @catarinavgamboa.bsky.social will re-present our #PLDI2025 paper on Usability Barriers for Liquid Types.
October 14, 2025 at 12:22 AM
#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Today at #SPLASH 2025 / @icfp-conference.bsky.social: @catarinavgamboa.bsky.social will re-present our #PLDI2025 paper on Usability Barriers for Liquid Types.
Today at #SPLASH 2025 / @icfp-conference.bsky.social: @catarinavgamboa.bsky.social will re-present our #PLDI2025 paper on Usability Barriers for Liquid Types.
I'll be spending next week in Singapore, attending
@sigplan.bsky.social SPLASH with Paulo (paper at OOPSLA on LiquidTypes for verification of #ROS architecture) and Catarina (usability challenges of Liquid Types at HATRA). Hit me up! I also appreciate tips on enjoying Singapore :-)
@sigplan.bsky.social SPLASH with Paulo (paper at OOPSLA on LiquidTypes for verification of #ROS architecture) and Catarina (usability challenges of Liquid Types at HATRA). Hit me up! I also appreciate tips on enjoying Singapore :-)
October 6, 2025 at 10:26 PM
I'll be spending next week in Singapore, attending
@sigplan.bsky.social SPLASH with Paulo (paper at OOPSLA on LiquidTypes for verification of #ROS architecture) and Catarina (usability challenges of Liquid Types at HATRA). Hit me up! I also appreciate tips on enjoying Singapore :-)
@sigplan.bsky.social SPLASH with Paulo (paper at OOPSLA on LiquidTypes for verification of #ROS architecture) and Catarina (usability challenges of Liquid Types at HATRA). Hit me up! I also appreciate tips on enjoying Singapore :-)
There is Gradual Liquid Types, which is the closest. But in our aeon paper we do exactly that with synthesis. We split refinement types into liquidtypes (hard constraints) and into fitness functions (soft constrains, turing complete). Happy to discuss our idea.
April 15, 2026 at 4:15 PM
There is Gradual Liquid Types, which is the closest. But in our aeon paper we do exactly that with synthesis. We split refinement types into liquidtypes (hard constraints) and into fitness functions (soft constrains, turing complete). Happy to discuss our idea.