GF Tutorial, Now up-to-date for GF version 2.9. Covers all of GF.
GF Reference Manual. A full-scale reference manual of the GF language.
User Manual explaining the GF user interfaces and command language (slightly outdated).
Editor User Manual on editing in the Java interface.
Chart of GF grammar compiler phases.
Resource Grammar Synopsis for library users. With APIs and use examples.
Resource Grammar HOWTO for library authors.
Embedded GF Interpreter manual for using GF grammars in Java programs.
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 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.