Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Generic Type-safeDiffAndPatchForFamiliesOfDatatypes
Stc
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.
