Invia SMS: Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 ; revised selected papers / Andrew Butterfield, Clemens Grelck, Frank Huch (eds.).