Haskell Community
Haskell Weekly Podcast → Episode 14 → Refinement Types
Links
taylorfausak
July 16, 2019, 11:58am
1
Related topics
Topic
Replies
Views
Activity
Rerefined: Refinement types, again (refined rewrite)
Show and Tell
2
695
April 30, 2024
Encoding refinement types as ordinary sub-types
Learn
10
542
March 4, 2025
Run Time vs Compile Time Errors
0
797
March 5, 2019
Call for Sponsors: First-class Liquid Haskell
Announcements
7
2742
July 16, 2023
What can I refactor for you today?
Jobs
3
1654
August 6, 2021
