On 09-12-09 22:45, Jason Dagit wrote:
Someone just pointed this out to me today: *Type-safe diff for families of datatypes
[snip]
http://portal.acm.org/citation.cfm?id=1596614.1596624
Through this link the WGP 2009 (http://wiki.portal.chalmers.se/cse/pmwiki.php/WGP09/WGP09) 12-page paper is only available for ACM Digital Library subscribers. I cannot seem to find a publically available version.
Note that there is a PDF by Andres Löh, "Generic diff", containing 39 slides (but strangely called "paper") freely availabe through http://people.cs.uu.nl/andres/GDiff.html .
Also note that Eelco Lempsink's master thesis "Generic type-safe diff and patch for families of datatypes" is not publically available from http://www.cs.uu.nl/education/scripties/scriptie.php?SID=INF/SCR-2008-089 .
Groetjes, <>< Marnix _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
