Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
The classification of greedy algorithms
Science of Computer Programming
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Hi-index | 0.00 |