Date: 2009-06-25 Time: 11:45 Room: BBL room 471 ----+++ Speaker: Eelco Lempsink ----+++ Title: Generic Type-Safe Diff and Patch for Families of Datatypes (thesis defense) ----+++ Abstract The UNIX diff program finds the difference between two text files using a classic algorithm for determining the longest common subsequence; however, when working with structured input (e.g. program code), we often want to find the difference between tree-like data (e.g. the abstract syntax tree). In a functional programming language such as Haskell, we can represent this data with a family of (mutually recursive) datatypes. In this talk a functional, type-safe, datatype-generic implementation of diff (and the associated program patch) is presented.