New Grammarian's Tutorial, Now up-to-date for GF version 2.4, although some sections are still unwritten.
Old Grammarian's Tutorial on writing GF grammars, with exercises. GF v 1.2, before the module system.
History of changes. Up to date with the current darcs version of GF.
Module system document, complements the JFP paper by a description of the module system.
User Manual explaining the GF user interfaces and command language (slightly outdated).
Editor User Manual on editing in the Java interface.
Syntax specification (pdf) of the GF grammar formalism. Generated by the BNF Converter from the same source as the language parser.
Syntax specification of GFC (pdf), the low-level formalism to which GF is compiled. Generated by the BNF Converter from the same source as the language parser.
The GF Transfer language document.
Chart of GF grammar compiler phases.
On-line resource grammar library documentation in progress for the forthcoming API v 1.0.
Resource grammar writing HOWTO document in progress (forthcoming API v 1.0).
Old resource grammar library document (v 0.9).
Embedded GF API for using GF grammars in Haskell programs.
MCFG/GF library for Prolog, for using GF grammars in Prolog programs.
Expressivity and Complexity of the Grammatical Framework, PhD Thesis by Peter Ljunglöf.
Slides on GF theory and implementation given at INRIA Rocquencourt in December 2003.
Slides on multilingual grammar engineering and some examples of using the module system of GF.
Slides on example-based grammar writing and a short introduction to GF grammars.
Course notes on Natural Language Technology, includes slides on using GF.
Embedded grammars, Master's thesis by Björn Bringert
Demo film of a multimodal dialogue system built with embedded grammars.
GFCC (pdf): report on a compiler from a fragment of C to JVM, written in GF.