You are here:
(24 Jun 2009, PietVanOostrum)
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.
ore topic actions
Topic revision: r2 - 24 Jun 2009, PietVanOostrum
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?