Trends in functional programming : 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011 : revised selected papers - Ricardo Pena, editor ([, Springer-Verlag], 2012)