Trends in Functional Programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers - Ricardo Peña, Rex Page ((Lecture Notes in Computer Science))