ParsingGrammars
General info about parsing etc.
Chomsky stuff
Combinatory Categorial Grammars
Combinatory Categorial Grammar (CCG) is an efficiently parseable, yet linguistically expressive grammar formalism. It has a completely transparent interface between surface syntax and underlying semantic representation, including predicate-argument structure, quantification and information structure.
Formal semantics
- Wadler: Formal Semantics for XSLT : describes (with haskell code) semantics for XSLT, XML
