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