FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Positive supercompilation for a higher order call-by-value language
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adding equations to system f types
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Exploiting vector instructions with generalized stream fusio
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |