Cited By
View all- Lorenzen ALeijen DSwierstra WLindley S(2024)The Functional Essence of Imperative Binary Search TreesProceedings of the ACM on Programming Languages10.1145/36563988:PLDI(518-542)Online publication date: 20-Jun-2024
- Piponi DYorgey B(2015)Polynomial Functors Constrained by Regular ExpressionsMathematics of Program Construction10.1007/978-3-319-19797-5_6(113-136)Online publication date: 9-Jun-2015
- Höner zu Siederdissen CProhaska SStadler P(2014)Dynamic Programming for Set Data TypesAdvances in Bioinformatics and Computational Biology10.1007/978-3-319-12418-6_8(57-64)Online publication date: 2014
- Show More Cited By