"Implementation and Application of Functional Languages - 21st ..."

Marco T. Morazán, Sven-Bodo Scholz (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics