"Practical Aspects of Declarative Languages - 16th International Symposium, ..."

Matthew Flatt, Hai-Feng Guo (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics