Three algorithms on Braun trees
Journal of Functional Programming
Algebra of Programming Using Dependent Types
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Algebra of programming in agda: Dependent types for relational program derivation
Journal of Functional Programming
Sorting with bialgebras and distributive laws
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Hi-index | 0.00 |