Cited By
View all- Elsman M(2024)Double-Ended Bit-Stealing for Algebraic Data TypesProceedings of the ACM on Programming Languages10.1145/36746288:ICFP(88-120)Online publication date: 15-Aug-2024
- Elsman M(2024)Explicit Effects and Effect Constraints in ReMLProceedings of the ACM on Programming Languages10.1145/36329218:POPL(2370-2394)Online publication date: 5-Jan-2024
- Spanò A(2024)Flexible and reversible conversion between extensible records and overloading constraints for MLJournal of Systems and Software10.1016/j.jss.2024.112141216(112141)Online publication date: Oct-2024
- Show More Cited By