8 Aug
2010
8 Aug
'10
2:48 a.m.
Maybe this paper is close? Type-safe diff for families of datatypes Eelco Lempsink Sean Leather Andres Löh