FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Parallelization in calculational forms
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A new framework for declarative programming
Theoretical Computer Science
A library of constructive skeletons for sequential style of parallel programming
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
A Short Cut to Optimal Sequences
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Constructions around partialities
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
| Hi-index | 0.00 |