Jeremy Gibbons, Video: Incremental Updates and Non-Free Datatypes
Jeremy Gibbons, Video: Incremental Updates and Non-Free Datatypes
Jeremy Gibbons, Incremental Updates and Non-Free Datatypes, Bi-directional transformations (BX) – Theory and Applications Across Disciplines, BIRS, BIRS talk, 13w5115, math, mathematics, video