"ACM SIGPLAN International Conference on Functional Programming, ICFP'13, ..."

Greg Morrisett, Tarmo Uustalu (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics