Monthly Archives: January 2011

Lenses are the coalgebras for the costate comonad

Posted on Monday, January 31st, 2011 by jeremygibbons

I took part in the Dagstuhl Seminar on Bidirectional Transformations “BX” earlier this month. It was a meeting of people from four communities—databases, graph transformations, programming languages, and software engineering—discussing their various perspectives—namely the view–update problem in databases, triple graph … Continue reading →

Posted in Uncategorized | 7 Comments