"A model of functional programming with dynamic compilation and optimization."

Martin Grabmüller (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics