Cited By
View all- Hewer BHutton G(2024)Quotient Haskell: Lightweight Quotient Types for AllProceedings of the ACM on Programming Languages10.1145/36328698:POPL(785-815)Online publication date: 5-Jan-2024
- Vazou N(2023)On the Practicality and Soundness of Refinement TypesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.396.1396(1-3)Online publication date: 17-Nov-2023
- Ghalayini JKrishnaswami N(2023)Explicit Refinement TypesProceedings of the ACM on Programming Languages10.1145/36078377:ICFP(187-214)Online publication date: 31-Aug-2023