Cited By
View all- Yang ZWu N(2022)Fantastic Morphisms and Where to Find ThemMathematics of Program Construction10.1007/978-3-031-16912-0_9(222-267)Online publication date: 26-Sep-2022
- Rot JJacobs BLevy P(2021)Steps and tracesJournal of Logic and Computation10.1093/logcom/exab05031:6(1482-1525)Online publication date: 23-Aug-2021
- Morris JMcKinna J(2019)Abstracting extensible data types: or, rows by any other nameProceedings of the ACM on Programming Languages10.1145/32903253:POPL(1-28)Online publication date: 2-Jan-2019
- Show More Cited By