Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12--14, 2012. Revised selected papers
scientific article; zbMATH DE number 6197082