[darcs-users] Type-safe diff for families of datatypes

Marnix Klooster marnix.klooster at gmail.com
Thu Dec 10 19:20:18 UTC 2009

On 09-12-09 22:45, Jason Dagit wrote:

> Someone just pointed this out to me today:
> *Type-safe diff for families of datatypes


> 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 .


More information about the darcs-users mailing list