blob: e4aa842ff06d4f11f968ea0c5fd6d5f9abf28753 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
|
<!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>
|
