Metamorphisms: Streaming representation-changers
Science of Computer Programming
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Generic programming with fixed points for mutually recursive datatypes
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Adjoint folds and unfolds: or: scything through the thicket of morphisms
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
A shortcut fusion approach to accumulations
Science of Computer Programming
Unifying structured recursion schemes
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Programming macro tree transducers
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Adjoint folds and unfolds-An extended study
Science of Computer Programming
Hi-index | 0.00 |