| |
| 2007 | ||
|---|---|---|
| 6 | EE | Martin Erwig, Deling Ren: An update calculus for expressing type-safe program updates. Sci. Comput. Program. 67(2-3): 199-222 (2007) |
| 2006 | ||
| 5 | EE | Deling Ren, Martin Erwig: A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Haskell 2006: 13-24 |
| 2004 | ||
| 4 | EE | Martin Erwig, Deling Ren: Monadification of functional programs. Sci. Comput. Program. 52: 101-129 (2004) |
| 2003 | ||
| 3 | EE | Martin Erwig, Deling Ren: Programming Type-Safe Program Updates. ESOP 2003: 269-283 |
| 2002 | ||
| 2 | EE | Martin Erwig, Deling Ren: A rule-based language for programming software updates. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 67-78 |
| 1 | EE | Martin Erwig, Deling Ren: A rule-based language for programming software updates. SIGPLAN Notices 37(12): 88-97 (2002) |
| 1 | Martin Erwig | [1] [2] [3] [4] [5] [6] |