"Proceeding of the 16th ACM SIGPLAN international conference on Functional ..."

Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics