Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (2006)

by Jürgen Giesl , Stephan Swiderski , René Thiemann
Venue:In Proc. RTA ’06, LNCS
Citations:33 - 10 self