Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 14:30 - 15:00 at L2 - Full papers 2

The Unix diff utility that compares lines of text is used pervasively by version control systems. Yet certain changes to a program may be difficult to describe accurately in terms of modifications to individual lines of code. As a result, observing changes at such a fixed granularity may lead to unnecessary conflicts between different edits. This paper presents a generic representation for describing transformations between algebraic data types and a non-deterministic algorithm for computing such representations. These representations can be used to give a more accurate account of modifications made to algebraic data structures – and the abstract syntax trees of computer programs in particular – as opposed to only considering modifications between their textual representations.

Sun 3 Sep

10:30 - 11:30: TyDe 2017 - Full papers 1 at L2
tyde-2017-papers10:30 - 11:00
Marcell van GeestUtrecht University, Wouter SwierstraUniversity of Utrecht
tyde-2017-papers11:00 - 11:30
Daan LeijenMicrosoft Research
14:00 - 15:00: TyDe 2017 - Full papers 2 at L2
tyde-2017-papers14:00 - 14:30
Ting-Yan LaiInstitute of Information Science, Academia Sinica, Tyng-Ruey ChuangInstitute of Information Science, Academia Sinica, Shin-Cheng MuAcademia Sinica, Taiwan
tyde-2017-papers14:30 - 15:00
Victor Cacciari MiraldoUniversity of Utrecht, Pierre-Evariste DagandLIP6/CNRS , Wouter SwierstraUniversity of Utrecht