Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers - Hinze, Ralf (edición) ((Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues))