Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers - Butterfield, Andrew; Grelck, Clemens; Huch, Frank; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Logic design; Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs