Travelled to:
1 × Poland
Collaborated with:
M.Erwig
Talks about:
program (2) systemat (1) boilerpl (1) toolbox (1) generic (1) recurs (1) haskel (1) updat (1) scrap (1) type (1)
Person: Deling Ren
DBLP: Ren:Deling
Contributed to:
Wrote 2 papers:
- ESOP-2003-ErwigR #programming #type safety
- Programming Type-Safe Program Updates (ME, DR), pp. 269–283.
- Haskell-2006-RenE #haskell #recursion #scrap your boilerplate
- A generic recursion toolbox for Haskell or: scrap your boilerplate systematically (DR, ME), pp. 13–24.