# GF Documentation

# Grammatical Framework Documents

## Tutorials

Quick start instruction.

New Grammarian's Tutorial, Now up-to-date for GF version 2.4, although some sections are still unwritten. Also available in pdf.

Old Grammarian's Tutorial on writing GF grammars, with exercises. GF v 1.2, before the module system.

## Language and system documentation

GF Quick Reference. Also available in pdf.

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.

## Grammar library documentation

Resource Grammar Synopsis. With APIs and use examples, for Resource v. 1.2.

GF Resource Grammar Library user's manual, for API v 1.0.

On-line resource grammar library documentation in progress for API v 1.0.

Resource grammar writing HOWTO document in progress (forthcoming API v 1.0).

Old resource grammar library document (v 0.9).

## Embedding GF grammars in computer programs

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.

## Theoretical studies

Grammatical Framework: A Type-Theoretical Grammar Formalism (ps.gz). 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.

Expressivity and Complexity of the Grammatical Framework, PhD Thesis by Peter Ljunglöf.

## Introductory talks

GF in 25 Minutes - overview for computer science audience.

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.

## Examples and applications

Formal and Informal Software Specifications, PhD Thesis by Kristofer Johannisson.

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.

## More

Bibliography: more publications on GF, as well as background literature.