Jonathan Aldrich

@jonathanaldrich.bsky.social

5 months ago

#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.

Jonathan Aldrich

@jonathanaldrich.bsky.social

9 months ago

#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."