Deling Ren

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Martin Erwig, Deling Ren
An update calculus for expressing type-safe program updates. Sci. Comput. Program. 67 (2-3) (2007)
Deling Ren, Martin Erwig
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Haskell (2006)
Martin Erwig, Deling Ren
Monadification of functional programs. Sci. Comput. Program. 52 (2004)
Martin Erwig, Deling Ren
Programming Type-Safe Program Updates. ESOP (2003)
Martin Erwig, Deling Ren
A rule-based language for programming software updates. ACM SIGPLAN Notices 37 (12) (2002)
Martin Erwig, Deling Ren
A rule-based language for programming software updates. ACM SIGPLAN Workshop on Rule-Based Programming (2002)