gf-3.1.6: doc/index.html
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html><head><title>GF Documentation</title></head>
<body bgcolor="#ffffff" text="#000000">
<center>
<img src="Logos/gf0.png">
<h1>Grammatical Framework Documents</h1>
</center>
<b>Top-3 documents</b>:
<a href="gf-tutorial.html">Tutorial</a>
|
<a href="gf-refman.html">ReferenceManual</a>
|
<a href="../lib/resource/doc/synopsis.html">LibrarySynopsis</a>
<h2>Tutorials</h2>
<a href="gf-quickstart.html">Quick start instruction</a>.
<p>
<a href="gf-tutorial.html">GF Tutorial</a>,
Now up-to-date for GF version 2.9. Covers all of GF.
<h2>Language and system documentation</h2>
<a href="gf-reference.html">GF Quick Reference</a>. Also available in
<a href="gf-reference.pdf">pdf</a>. Covers all features of GF language
in a summary format.
<p>
<a href="gf-refman.html">GF Reference Manual</a>. A full-scale reference
manual of the GF language.
<p>
<a href="gf-manual.html">
User Manual</a> explaining the GF user interfaces and command language (slightly
outdated).
<p>
<a href="../../GF2.0/doc/javaGUImanual/javaGUImanual.htm">Editor User Manual</a>
on editing in the Java interface.
<p>
<a href="gf-compiler.png">Chart of GF grammar compiler phases</a>.
<h2>Grammar library documentation</h2>
<a href="gf-tutorial.html#chapfive">Resource Grammar Tutorial Chapter</a>.
<p>
<a href="../lib/resource/doc/synopsis.html">Resource Grammar Synopsis</a>
for library users. With APIs and use examples.
<p>
<a href="../lib/resource/doc/Resource-HOWTO.html">
Resource Grammar HOWTO</a>
for library authors.
<h2>Embedding GF grammars in computer programs</h2>
<a href="gf-tutorial.html#chapeight">Embedded Grammar Tutorial Chapter</a>.
<p>
<a href="http://www.cs.chalmers.se/~bringert/gf/gf-java.html">
Embedded GF Interpreter</a> manual for using GF grammars in Java programs.
<p>
<a href="http://www.cs.chalmers.se/~aarne/GF/src/GF/GFCC/API.hs">
Embedded GF API</a> for using GF grammars in Haskell programs.
<p>
<a href="http://www.ling.gu.se/~peb/index.cgi/Software">
MCFG/GF library for Prolog</a>,
for using GF grammars in Prolog programs.
<h2>Theoretical studies</h2>
<a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">
Grammatical Framework: A Type-Theoretical
Grammar Formalism</a> (ps.gz). Theoretical paper on GF by A. Ranta. A later
version appeared
in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189.
The standard reference on GF.
<p>
<a href="http://www.ling.gu.se/~peb/pubs/Ljunglof-2004a.pdf">
Expressivity and Complexity of the Grammatical Framework</a>,
PhD Thesis by
<a href="http://www.ling.gu.se/~peb">Peter Ljunglöf</a>.
<h2>Introductory talks</h2>
<a href="http://www.cs.chalmers.se/~aarne/GF2.0/doc/short/gf-short.html">
GF in 25 Minutes</a> - overview for computer science audience.
<p>
<a href="http://www.cs.chalmers.se/~aarne/slides/gf-rocquencourt.pdf">
Slides on GF theory and implementation</a> given
at INRIA Rocquencourt in December 2003.
<p>
<a
href="http://www.cs.chalmers.se/~aarne/slides/webalt-2005.pdf">
Slides on example-based grammar writing</a> and a short introduction
to GF grammars.
<p>
<a
href="http://www.cs.chalmers.se/~aarne/course-langtech/lectures/lectures.html">
Course notes on Natural Language Technology</a>, includes
slides on using GF.
<h2>Examples and applications</h2>
<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">
Formal and Informal Software Specifications</a>,
PhD Thesis by
<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>.
<p>
<a href="http://www.dtek.chalmers.se/~d00bring/publ/exjobb/embedded-grammars.pdf">
Embedded grammars</a>,
Master's thesis by
<a href="http://www.cs.chalmers.se/~bringert/">Björn Bringert</a>
<p>
<a
href="http://www.cs.chalmers.se/~bringert/misc/tramdemo.avi">Demo film</a>
of a multimodal dialogue system built with embedded grammars.
<p>
<a href="gfcc.pdf">
GFCC</a> (pdf):
report on a compiler from a fragment of C to JVM, written in GF.
<h2>More</h2>
<a href="gf-bibliography.html">
Bibliography</a>:
more publications on GF, as well as background literature.
</body></html>