Deling Ren

According to our database, Deling Ren authored at least 5 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

An update calculus for expressing type-safe program updates.

Martin Erwig, Deling Ren

Sci. Comput. Program., 2007

2006

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.

Deling Ren, Martin Erwig

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2004

Monadification of functional programs.

Martin Erwig, Deling Ren

Sci. Comput. Program., 2004

2003

Programming Type-Safe Program Updates.

Martin Erwig, Deling Ren

Proceedings of the Programming Languages and Systems, 2003

2002

A rule-based language for programming software updates.

Martin Erwig, Deling Ren

ACM SIGPLAN Notices, 2002