3 works on record
Trends in Functional Programming
Foundational and Practical Aspects of Resource Analysis
Logic-Based Program Synthesis and Transformation
2014
