Lambda-Lifting in Quadratic Time
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Concrete stream calculus: An extended study
Journal of Functional Programming
Adjoint folds and unfolds-An extended study
Science of Computer Programming
Hi-index | 0.00 |