13 Aug
2010
13 Aug
'10
2:45 a.m.
2010/8/8 Stephen Tetley <stephen.tetley@gmail.com>:
Maybe this paper is close?
Type-safe diff for families of datatypes Eelco Lempsink Sean Leather Andres Löh
Thanks a lot! Just what I need.. and more trickier than I thought. They represent any ADT as a tree and use diff algorithm for trees to build 'EditScripts' - list of operations to transform src data to dest one. -- Sergey