Implementation and application of functional languages : 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers - Andy Gill, editor (Springer-Verlag, 2012)