Cited By
View all- Innes SWu NDarais DGibbons J(2019)Tic tac types: a gentle introduction to dependently typed programming (functional pearl)Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3331554.3342606(40-51)Online publication date: 18-Aug-2019
- Jacobs BLevy PRot J(2018)Steps and TracesCoalgebraic Methods in Computer Science10.1007/978-3-030-00389-0_8(122-143)Online publication date: 20-Sep-2018
- Morihata A(2016)Incremental Computing with Abstract Data StructuresFunctional and Logic Programming10.1007/978-3-319-29604-3_14(215-231)Online publication date: 21-Feb-2016
- Show More Cited By