Mechanized metatheory for the masses : The POPLMARK challengeAYDEMIR, Brian E; BOHANNON, Aaron; FAIRBAIRN, Matthew et al.Lecture notes in computer science. 2005, pp 50-65, issn 0302-9743, isbn 3-540-28372-2, 16 p.Conference Paper

Combinators for bidirectional tree transformations : A linguistic approach to the view-update problemFOSTER, J. Nathan; GREENWALD, Michael B; MOORE, Jonathan T et al.ACM transactions on programming languages and systems. 2007, Vol 29, Num 3, pp 1-65, issn 0164-0925, 65 p.Conference Paper

Boomerang : Resourceful Lenses for String DataBOHANNON, Aaron; FOSTER, J. Nathan; PIERCE, Benjamin C et al.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 407-419, issn 1523-2867, 13 p.Conference Paper

Exploiting schemas in data synchronizationFOSTER, J. Nathan; GREENWALD, Michael B; KIRKEGAARD, Christian et al.Lecture notes in computer science. 2005, pp 42-57, issn 0302-9743, isbn 3-540-30951-9, 1Vol, 16 p.Conference Paper

Quotient LensesFOSTER, J. Nathan; PILKIEWICZ, Alexandre; PIERCE, Benjamin C et al.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 383-395, issn 1523-2867, 13 p.Conference Paper

Combinators for Bi-directional tree transformations : A linguistic approach to the view update problemFOSTER, J. Nathan; GREENWALD, Michael B; MOORE, Jonathan T et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 233-246, issn 1523-2867, 14 p.Conference Paper