Grammatical Framework (programming language)
Appearance
Grammatical Framework (GF) is a type-theoretic grammar formalism based on Martin-Löf type theory. GF particularly addresses four aspects of grammars: multilinguality, semantics, modularity and grammar engineering, and reuse of grammars in different formats and as software components.
References
- Grammatical Framework: A Type-Theoretical Grammar Formalism. Theoretical paper on GF by A. Ranta. A later version appeared in The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189. The standard reference on GF.