Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers Butterfield Andrew Heftet / 2010 / Engelsk
Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers Zsók, Viktória Heftet / 2007 / Engelsk
