"Automated Termination Analysis for Haskell: From Term Rewriting to ..."

Jürgen Giesl et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics