Libraries and tools/Linguistics/Applicative universal grammar
Introduction
Bernard Paul Sypniewski's article An Introduction to Applicative Universal Grammar.
The same author has also an entire homepage for the topic.
As an article describing what AUG is, see also Shaumyan's Two Paradigms of Linguistics: The Semiotic versus Non-Semiotic Paradigm.
Fragments
Sebastian Shaumyan's long answers to comments in Disc: Ungrammatical Sentences gives examples, thus can help at understanding the above mentioned materials -- by discussing the notions like meaning, grammatical vs syntactic etc.
Some other citings and fragments from Sebastian Shaumyan can be read here.
Details
Long-Distance Dependencies and Applicative Universal Grammar (written by Sebastian Shaumyan and Frédérique Segond) compares (presenting some advantages of the latter)
- combinatory categorial grammar
- applicative universal grammar
Linguistic Types and the Valence of Operators in Applicative Universal Grammar written by Bernard Paul Sypniewski. In case of problems, here is an alternative link.
Implementing these ideas
A Haskell application for natural language parsing, based on Applicative Universal Grammar (AUG) is described in Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language. The Haskell source code given by the article is full, it can be run by Gofer, and after a few modification, by GHC too (transpose must be explictly imported from standard library module Data.List, and class Text renamed to Show).
A more detailed description of the topic of this previous article described in Sebastian Shaumyan and Paul Hudak's Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing