7 Aug
2010
7 Aug
'10
5:18 p.m.
Maybe this paper is close? Type-safe diff for families of datatypes Eelco Lempsink Sean Leather Andres Löh