NPTEL Video Course : NOC:Functional Programming in Haskell

Lecture 11 - Computation as rewriting