The majority of this book is also highly portable. The techniques can be applied across languages very easily, although, the Haskell implementations are very elegant.
I would say that's true in so far as your language you're porting to has a preponderance of pure functionality and notions of real mathematical "variables". Without those it'll be hard to get any semblance of equational reasoning to work out.
