• A Theory of Changes for Higher-Order Languages [pdf] http://www.informatik.uni-marburg.de/~pgiarrusso/papers/pldi14-ilc-author-final.pdf 2 comments 14/3/2015
• A Theory of Changes for Higher-Order Languages http://www.informatik.uni-marburg.de/~pgiarrusso/papers/pldi14-ilc-author-final.pdf 2 comments 4/2/2015

• [PDF] Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing http://www.informatik.uni-marburg.de/~rendel/unparse/rendel10invertible.pdf 13 comments 9/4/2015 haskell
• A Theory of Changes for Higher-Order Languages [pdf] http://www.informatik.uni-marburg.de/~pgiarrusso/papers/pldi14-ilc-author-final.pdf 5 comments 14/3/2015 compsci
• SugarHaskell: language extensions in sugar modules[pdf] http://www.informatik.uni-marburg.de/~seba/projects/sugarj/sugarhaskell.pdf 7 comments 29/6/2012 haskell

• A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation http://www.informatik.uni-marburg.de/~pgiarrusso/papers/pldi14-ilc-author-final.pdf 4 comments 4/2/2015 Lambda Calculus
• Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing http://www.informatik.uni-marburg.de/~rendel/unparse/rendel10invertible.pdf 9 comments 27/1/2011 Functional , General , Implementation , Theory