Stav dette: Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers / Hans-Wolfgang Loidl, Ricardo Peña (Eds.).