Yael Sygal: Modular development of typed unification grammars: a mathematical and computational infrastracture for grammar engineering. University of Haifa, Israel 2011