Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers - Grelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Logic design; Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs