Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers - Peña, Ricardo; Page, Rex (Springer Berlin Heidelberg : Imprint: Springer, 2012)