A rule-based language for programming software updates. - Martin Erwig; Deling Ren (ACM SIGPLAN Notices, 2002)

Programming Type-Safe Program Updates. - Martin Erwig; Deling Ren (ESOP, 2003)

Monadification of functional programs. - Martin Erwig; Deling Ren (Sci. Comput. Program., 2004)

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. - Deling Ren; Martin Erwig (Haskell, 2006)

An update calculus for expressing type-safe program updates. - Martin Erwig; Deling Ren (Sci. Comput. Program., 2007)