Cited By
View all- Paszke AXie NCong YDagand P(2023)Infix-Extensible Record Types for Tabular DataProceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3609027.3609406(29-43)Online publication date: 30-Aug-2023
- Lutze MMadsen MSchuster PBrachthäuser J(2023)With or Without You: Programming with Effect ExclusionProceedings of the ACM on Programming Languages10.1145/36078467:ICFP(448-475)Online publication date: 31-Aug-2023
- Alves SRamos M(2021)An ML-style Record Calculus with Extensible RecordsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.351.1351(1-17)Online publication date: 29-Dec-2021
- Show More Cited By