mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
654 lines
22 KiB
HTML
654 lines
22 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
|
|
<HTML>
|
|
<HEAD>
|
|
<META NAME="generator" CONTENT="http://txt2tags.sf.net">
|
|
<TITLE>Grammatical Framework Bibliography</TITLE>
|
|
</HEAD><BODY BGCOLOR="white" TEXT="black">
|
|
<P ALIGN="center"><CENTER><H1>Grammatical Framework Bibliography</H1>
|
|
<FONT SIZE="4">
|
|
<I>Aarne Ranta</I><BR>
|
|
Tue Dec 15 15:38:41 2009
|
|
</FONT></CENTER>
|
|
|
|
<H2>Publications on GF</H2>
|
|
<P>
|
|
In reverse temporal order:
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
The GF Resource Grammar Library,
|
|
to appear in the on-line journal <I>Linguistics in Language Technology</I>,
|
|
2009.
|
|
<br>
|
|
<I>A systematic presentation of the library from the linguistic point of view.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Grammatical Framework: A Multilingual Grammar Formalism,
|
|
<I>Language and Linguistics Compass</I>,
|
|
Vol. 3, <A HREF="http://www.blackwell-compass.com/subject/linguistics/article_view?parent=section&last_results=section%3Dlnco-computational&sortby=date&section=lnco-computational&browse_id=lnco_articles_bpl155&article_id=lnco_articles_bpl155">on-line</A>
|
|
2009.
|
|
<br>
|
|
<I>An overview of GF for readers with a general academic brackground.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta and K. Angelov.
|
|
Implementing Controlled Languages in GF.
|
|
<I>CNL-2009</I>,
|
|
<I>CEUR Workshop Proceedings</I>,
|
|
vol. 448,
|
|
<A HREF="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-448/">on-line</A>,
|
|
2009.
|
|
<br>
|
|
<I>Makes a case for using GF in controlled language implementation, illustrated by Attempto Controlled English ported to French, German, and Swedish.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta. Grammars as Software Libraries.
|
|
In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.),
|
|
<I>From Semantics to Computer Science</I>,
|
|
Cambridge University Press, Cambridge,
|
|
pp. 281-308,
|
|
2009.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/libraries-kahn.pdf">pdf (preliminary version)</A>
|
|
<br>
|
|
<I>Grammar-libraries from the software engineering point of view, with an example application to mathematical language.</I>
|
|
</P>
|
|
<P>
|
|
K. Angelov.
|
|
Incremental Parsing in Parallel Multiple Context-Free Grammars.
|
|
EACL 2009.
|
|
<br>
|
|
<I>Describes the algorithm used in parsing with GF.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta, B. Bringert, and K. Angelov.
|
|
The GF Grammar Development Environment.
|
|
System demo. Proceedings of <I>EACL-2009</I>,
|
|
2009.
|
|
<br>
|
|
<I>An overview of GF from the grammarian's point of view.</I>
|
|
</P>
|
|
<P>
|
|
B. Bringert, K. Angelov, and A. Ranta.
|
|
Grammatical Framework Web Service,
|
|
System demo. Proceedings of <I>EACL-2009</I>,
|
|
2009.
|
|
<br>
|
|
<I>An overview of how to build web services on top of PGF using the Google Web Toolkit.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta and K. Angelov.
|
|
Implementing Controlled Languages in GF,
|
|
To appear in the proceedings of <I>CNL-2009</I>, LNCS, Springer,
|
|
2009.
|
|
<br>
|
|
<I>On the use of GF for controlled languages, exemplified by an implementation of Attempto Controlled English then ported to three other language.</I>
|
|
</P>
|
|
<P>
|
|
R. Cooper and A. Ranta.
|
|
Natural Languages as Collections of Resources.
|
|
In <I>Language in Flux: Dialogue Coordination, Language Variation, Change</I>,
|
|
ed. by R. Cooper and R. Kempson, pp. 109-120. London: College Publications,
|
|
2008.
|
|
<br>
|
|
<I>The resource grammar idea applied to language learning and evolution.</I>
|
|
</P>
|
|
<P>
|
|
Moisés Salvador Meza Moreno and B. Bringert.
|
|
Interactive Multilingual Web Applications with Grammatical Framework.
|
|
In B. Nordström and A. Ranta (eds),
|
|
<I>Advances in Natural Language Processing (GoTAL 2008)</I>,
|
|
LNCS/LNAI 5221, Springer,
|
|
2008.
|
|
<br>
|
|
<I>Shows how GF compiled to JavaScript is used in dynamic multilingual web pages.</I>
|
|
</P>
|
|
<P>
|
|
Peter Ljunglöf and Staffan Larsson.
|
|
A grammar formalism for specifying ISU-based dialogue systems.
|
|
In B. Nordström and A. Ranta (eds),
|
|
<I>Advances in Natural Language Processing (GoTAL 2008)</I>,
|
|
LNCS/LNAI 5221, Springer,
|
|
2008.
|
|
<A HREF="http://www.ling.gu.se/~peb/pubs/LjunglofLarsson-2008a.pdf">pdf</A>
|
|
<br>
|
|
<I>Explains how GoDiS dialogue systems are specified by GF grammars.</I>
|
|
</P>
|
|
<P>
|
|
K. Angelov.
|
|
Type-Theoretical Bulgarian Grammar.
|
|
In B. Nordström and A. Ranta (eds),
|
|
<I>Advances in Natural Language Processing (GoTAL 2008)</I>,
|
|
LNCS/LNAI 5221, Springer,
|
|
2008.
|
|
<br>
|
|
<I>Explains the implementation of a Bulgarian resource grammar in GF.</I>
|
|
</P>
|
|
<P>
|
|
B. Bringert.
|
|
High-precision Domain-specific Interlingua-based Speech Translation
|
|
with Grammatical Framework.
|
|
<I>Coling 2008 Workshop on Speech Translation for Medical and Other Safety-Critical Applications</I>,
|
|
Manchester, UK, August 23,
|
|
2008.
|
|
<br>
|
|
<I>Shows how to build spoken language translators based on GF grammars and their compilation to Nuance.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
How predictable is Finnish morphology? An experiment on lexicon construction.
|
|
In J. Nivre, M. Dahllöf and B. Megyesi (eds),
|
|
<I>Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein</I>,
|
|
University of Uppsala,
|
|
2008.
|
|
Available from <A HREF="http://publications.uu.se/abstract.xsql?dbid=8933">series homepage</A>
|
|
<br>
|
|
<I>Presents an experiment on smart paradigms in Finnish.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Example-based grammar writing.
|
|
To appear in L. Borin and S. Larsson (eds),
|
|
Festschrift for Robin Cooper,
|
|
2007.
|
|
<br>
|
|
<I>Presents and discusses the ideas of grammar composition and example-based grammar writing.</I>
|
|
</P>
|
|
<P>
|
|
B. Bringert.
|
|
Rapid Development of Dialogue Systems by Grammar Compilation.
|
|
<I>8th SIGdial Workshop on Discourse and Dialogue</I>,
|
|
Antwerp, Belgium, September 1-2,
|
|
2007.
|
|
<A HREF="http://www.cs.chalmers.se/~bringert/publ/gf-voicexml/gf-voicexml.pdf">pdf</A>
|
|
<br>
|
|
<I>Shows how to build a web-based spoken dialogue system by generating VoiceXML and JavaScript.</I>
|
|
</P>
|
|
<P>
|
|
A. El Dada and A. Ranta.
|
|
Implementing an Open Source Arabic Resource Grammar in GF.
|
|
In M. Mughazy (ed),
|
|
<I>Perspectives on Arabic Linguistics XX. Papers from the Twentieth Annual Symposium on Arabic Linguistics, Kalamazoo, March 26</I>
|
|
John Benjamins Publishing Company.
|
|
2007.
|
|
<br>
|
|
<I>An outline of the Arabic resource grammar project, focusing on linguistic aspects.</I>
|
|
</P>
|
|
<P>
|
|
A. El Dada.
|
|
Implementation of the Arabic Numerals and their Syntax in GF.
|
|
Computational Approaches to Semitic Languages: Common Issues and Resources,
|
|
ACL-2007 Workshop,
|
|
June 28, 2007, Prague.
|
|
2007.
|
|
<br>
|
|
<I>A case study with the resource grammar, focusing on the morphosyntax</I>
|
|
<I>and agreement of constructions with numerals.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Modular Grammar Engineering in GF.
|
|
<I>Research on Language and Computation</I>,
|
|
5:133-158, 2007.
|
|
Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/multieng3.pdf">pdf</A>.
|
|
<br>
|
|
<I>Adapts library-based software engineering methods to grammar writing</I>
|
|
<I>and introduces the module system of GF.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
The GF Grammar Compiler.
|
|
<I>Workshop on New Directions in Type-theoretic Grammars</I>,
|
|
Dublin, August 2007 (ESSLLI workshop).
|
|
2007.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/ar-compiler.pdf">pdf</A>
|
|
<br>
|
|
<I>Describes the compilation of GF source code to lower-level run-time formats.</I>
|
|
</P>
|
|
<P>
|
|
M. Humayoun, H. Hammarström, and A. Ranta.
|
|
Urdu Morphology, Orthography and Lexicon Extraction.
|
|
<I>CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages</I>,
|
|
July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University.
|
|
2007.
|
|
<br>
|
|
<I>Fairly complete open-source Urdu morphology and elemenraty syntax in GF.</I>
|
|
</P>
|
|
<P>
|
|
N. Perera and A. Ranta.
|
|
Dialogue System Localization with the GF Resource Grammar Library.
|
|
<I>SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing</I>,
|
|
June 29, 2007, Prague.
|
|
2007.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/perera-ranta.pdf">pdf</A>
|
|
<br>
|
|
<I>An experiment in porting an in-car dialogue system from two to six languages.</I>
|
|
</P>
|
|
<P>
|
|
B. Bringert.
|
|
Speech Recognition Grammar Compilation in Grammatical Framework
|
|
<I>SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing</I>,
|
|
June 29, 2007, Prague.
|
|
2007.
|
|
<br>
|
|
<I>Generation of speech recognition language models from GF in several formats:</I>
|
|
<I>GSL (Nuance), SRGS, JSGF, and HTK SLF, with embedded semantic interpretation.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Features in Abstract and Concrete Syntax.
|
|
<I>The 2nd International Workshop on Typed Feature Structure Grammars</I>,
|
|
Tartu, 24 May 2007 (NODALIDA workshop).
|
|
2007.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/ranta-tfsg2007.pdf">pdf</A>
|
|
<br>
|
|
<I>Explores the design choices of incorporating features in a GF-like grammar,</I>
|
|
<I>with comparisons to feature-based unification grammars.</I>
|
|
</P>
|
|
<P>
|
|
O. Caprotti and M. Seppälä.
|
|
Multilingual Delivery of Online Tests in mathematics.
|
|
Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006.
|
|
Berlin, Germany.
|
|
2006.
|
|
<A HREF="http://webalt.math.helsinki.fi/content/e16/e301/e785/MultilingualDeliveryofOnlineTestsinMathematics_eng.pdf">pdf</A>
|
|
<br>
|
|
<I>This papers shows screenshots of multilingual generation in the</I>
|
|
<I>WebALT project, using GF and the resource grammar library.</I>
|
|
</P>
|
|
<P>
|
|
J. Khegai.
|
|
Language engineering in Grammatical Framework (GF).
|
|
Phd thesis, Computer Science, Chalmers University of Technology,
|
|
2006.
|
|
<A HREF="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">pdf</A>
|
|
<br>
|
|
<I>Collection of articles and technical reports on multilingual authoring</I>
|
|
<I>and the Russian resource grammar.</I>
|
|
</P>
|
|
<P>
|
|
B. Bringert and A. Ranta.
|
|
A Pattern for Almost Compositional Functions.
|
|
<I>ICFP 2006, The 11th ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 18-20, 2006</I>,
|
|
2006.
|
|
<A HREF="http://www.cs.chalmers.se/~bringert/publ/composOp/composOp.pdf">pdf</A>.
|
|
<br>
|
|
<I>A method of generic programming useful for compiler construction</I>
|
|
<I>and transfer-based translation.</I>
|
|
</P>
|
|
<P>
|
|
M. Forsberg, H. Hammarstrom, and A. Ranta.
|
|
Morphological Lexicon Extraction from Raw Text Data.
|
|
<I>FinTAL 2006</I>,
|
|
Turku, August 23-25, 2006.
|
|
Springer LNCS/LNAI 4139,
|
|
pp. 488-499,
|
|
2006.
|
|
<br>
|
|
<I>A method for automatical production of morphological lexica based</I>
|
|
<I>on inflection engines such as those of GF resource grammar library.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Type Theory and Universal Grammar.
|
|
<I>Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics</I>,
|
|
cahier spécial 6,
|
|
pp. 115-131,
|
|
2006.
|
|
<br>
|
|
<I>A philosophical study of the medieval thesis that</I>
|
|
<I>grammar is the same in all languages and the difference is only in words.</I>
|
|
</P>
|
|
<P>
|
|
J. Khegai.
|
|
GF parallel resource grammars and Russian.
|
|
In proceedings of ACL2006
|
|
(The joint conference of the International Committee on Computational
|
|
Linguistics and the Association for Computational Linguistics) (pp. 475-482),
|
|
Sydney, Australia, July 2006.
|
|
<br>
|
|
<I>Gives an outline of the Russian resource grammar project.</I>
|
|
</P>
|
|
<P>
|
|
J. Khegai.
|
|
Grammatical Framework (GF) for MT in sublanguage domains.
|
|
Proceedings of 11th Annual conference of the European Association for
|
|
Machine Translation, , Oslo.
|
|
pp. 95-104,
|
|
2005.
|
|
<br>
|
|
<I>Shows how GF is used in controlled language translation.</I>
|
|
</P>
|
|
<P>
|
|
W. Ng'ang'a.
|
|
Multilingual content development for eLearning in Africa.
|
|
eLearning Africa: 1st Pan-African Conference on ICT for Development,
|
|
Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia.
|
|
2006.
|
|
<A HREF="http://webalt.math.helsinki.fi/content/e16/e301/e583/MultilingualContentDevelopmentforeLearninginAfrica-final1_eng.pdf">pdf</A>
|
|
<br>
|
|
<I>Presents a programme for producing educational material in African languages</I>
|
|
<I>via multilingual generation in GF.</I>
|
|
</P>
|
|
<P>
|
|
R. Jonson.
|
|
Generating statistical language models from interpretation grammars in dialogue system.
|
|
In Proceedings of EACL'06, Trento, Italy.
|
|
2006.
|
|
<br>
|
|
<I>Uses GF grammars to generate statistical language models for speech recognition.</I>
|
|
</P>
|
|
<P>
|
|
A. El Dada and A. Ranta.
|
|
Arabic Resource Grammar.
|
|
<I>Arabic Language Processing (JETALA)</I>,
|
|
5-6 June 2006, IERA, Rabat, Morocco,
|
|
2006.
|
|
<br>
|
|
<I>An outline of the Arabic resource grammar project, focusing on software aspects.</I>
|
|
</P>
|
|
<P>
|
|
D. A. Burke and K. Johannisson.
|
|
Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach.
|
|
In P. Blache, E. Stabler, J. Busquets and R. Moot (eds),
|
|
Logical Aspects of Computational Linguistics (LACL 2005),
|
|
Springer LNAI 3402,
|
|
pp. 51-66,
|
|
2005.
|
|
<br>
|
|
<I>A paper explaining how a multilingual GF grammar is completed with</I>
|
|
<I>Natural Language Generation techniques to improve text quality.</I>
|
|
</P>
|
|
<P>
|
|
B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta,
|
|
Multimodal Dialogue System Grammars.
|
|
<I>Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005</I>,
|
|
2005.
|
|
<A HREF="http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf">pdf</A>.
|
|
<br>
|
|
<I>Shows how mouse clicks can be integrated in GF grammars</I>
|
|
<I>alongside with speech input.</I>
|
|
</P>
|
|
<P>
|
|
K. Johannisson,
|
|
Formal and Informal Software Specifications.
|
|
PhD thesis,
|
|
Computer Science, Göteborg University,
|
|
2005.
|
|
[<A HREF="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf</A>]
|
|
<br>
|
|
<I>Collection of articles in the GF-KeY project, with an introduction.</I>
|
|
</P>
|
|
<P>
|
|
P. Ljunglöf.
|
|
Expressivity and Complexity of the Grammatical Framework.
|
|
PhD thesis, Computer Science,
|
|
Göteborg University,
|
|
2004.
|
|
<A HREF="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf">pdf</A>
|
|
<br>
|
|
<I>Language-theoretical study of GF and its parsing problem.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Grammatical Framework: A Type-Theoretical Grammar Formalism.
|
|
<I>Journal of Functional Programming</I>, 14(2),
|
|
pp. 145-189,
|
|
2004.
|
|
Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Theoretical paper explaining the GF formalism and its implementation.</I>
|
|
<I>The standard reference on GF, but doesn't cover the module system.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Computational semantics in type theory.
|
|
<I>Mathematics and Social Sciences</I>, 165,
|
|
pp. 31-57,
|
|
2004.
|
|
Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/3formsem.pdf">pdf</A>.
|
|
<br>
|
|
// Shows how Montague-style grammars are implemented in GF and extends//
|
|
<I>this to type-theoretical grammars for anaphoric expressions.</I>
|
|
</P>
|
|
<P>
|
|
H. Hammarström and A. Ranta.
|
|
Cardinal Numerals Revisited in GF.
|
|
<I>Workshop on Numerals in the World's Languages</I>.
|
|
Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig,
|
|
2004.
|
|
<br>
|
|
<I>An overview of the numeral grammar project, covering 88 languages.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Grammatical Framework Tutorial.
|
|
In A. Beckmann and N. Preining, editors,
|
|
<I>ESSLLI 2003 Course Material I</I>,
|
|
<I>Collegium Logicum</I>,
|
|
volume V,
|
|
pp. 1-86.
|
|
Kurt Gödel Society,
|
|
Vienna,
|
|
2004.
|
|
<br>
|
|
<I>A revised version of the on-line GF tutorial, v1.0.</I>
|
|
</P>
|
|
<P>
|
|
J. Khegai and A. Ranta.
|
|
Building and Using a Russian Resource Grammar in GF.
|
|
In A. Gelbukh (ed),
|
|
<I>Intelligent Text Processing and Computational Linguistics (CICLing-2004)</I>,
|
|
Seoul, Korea, February 2003,
|
|
Springer LNCS 945,
|
|
pp. 38-41,
|
|
2004.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>An introduction to the GF resource grammar project, with Russian as prime example.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta and R. Cooper.
|
|
Dialogue Systems as Proof Editors.
|
|
<I>Journal of Logic, Language and Information</I>, 13,
|
|
pp. 225-240,
|
|
2004.
|
|
Conference version (IJCAR/ICoS-3, Siena, June 2001) available as
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz">ps.gz</A>.
|
|
<I>Shows a close analogy between task-oriented dialogue systems</I>
|
|
<I>and metavariable-based proof editors.</I>
|
|
</P>
|
|
<P>
|
|
J. Khegai and A. Ranta.
|
|
Building and Using a Russian Resource Grammar in GF.
|
|
In A. Gelbukh (ed),
|
|
<I>Intelligent Text Processing and Computational Linguistics (CICLing-2004)</I>,
|
|
Seoul, Korea, February 2003,
|
|
Springer LNCS 945,
|
|
pp. 38-41,
|
|
2004.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Explains how the GF GUI is used in syntax editing and discusses</I>
|
|
<I>how new grammars are created.</I>
|
|
</P>
|
|
<P>
|
|
R. Hähnle, K. Johannisson, and A. Ranta.
|
|
An Authoring Tool for Informal and Formal Requirements Specifications.
|
|
In R. D. Kutsche and H. Weber (eds),
|
|
<I>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</I>,
|
|
Springer LNCS,
|
|
vol. 2306,
|
|
pp. 233--248,
|
|
2002.
|
|
<A HREF="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</A>
|
|
<br>
|
|
<I>Describes a GF-based authoring tool for object-oriented</I>
|
|
<I>specifications in OCL and English. Carries out in full</I>
|
|
<I>the work proposed in the position paper (Hähnle & Ranta 2001).</I>
|
|
</P>
|
|
<P>
|
|
K. Johannisson and A.Ranta,
|
|
Formal Verification of Multilingual Instructions.
|
|
<I>Proceedings of the Joint Winter Meeting 2001</I>.
|
|
Departments of Computer Science and Computer Engineering,
|
|
Chalmers University of Technology and Göteborg University.
|
|
2001.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Instructions for an alarm system in four languages, verified in the proof editor Alfa.</I>
|
|
</P>
|
|
<P>
|
|
R. Hähnle and A. Ranta,
|
|
Connecting OCL with the Rest of the World.
|
|
<I>ETAPS 2001 Workshop on Transformations in UML (WTUML)</I>,
|
|
Genova,
|
|
2001.
|
|
<A HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>A position paper explaining how GF can be used to help in object-oriented</I>
|
|
<I>modelling, with some examples on natural-language interaction with</I>
|
|
<I>OCL (Object Constraint Language)</I>.
|
|
</P>
|
|
<P>
|
|
T. Hallgren, "The Correctness of Insertion Sort",
|
|
Manuscript, Chalmers University, Göteborg, 2001.
|
|
Available in
|
|
<A HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A>
|
|
<br>
|
|
<I>A seven-page text generated by GF-Alfa</I>.
|
|
</P>
|
|
<P>
|
|
A. Ranta. "Bescherelle bricolé",
|
|
<A HREF="../../GF2.0/doc/BeschBric.ps.gz">ps.gz</A>,
|
|
2001.
|
|
<br>
|
|
<I>A machine-generated book on French conjugation implemented in GF.</I>
|
|
</P>
|
|
<P>
|
|
T. Hallgren and A. Ranta,
|
|
An Extensible Proof Text Editor.
|
|
In M. Parigot and A. Voronkov (eds),
|
|
<I>Logic for Programming and Automated Reasoning (LPAR'2000)</I>,
|
|
LNCS/LNAI 1955,
|
|
pp. 70-84,
|
|
Springer Verlag, Heidelberg,
|
|
2000.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/lpar2000.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Describes an interface to the proof editor Alfa written in GF</I>.
|
|
</P>
|
|
<P>
|
|
M. Dymetman, V. Lux, and A. Ranta,
|
|
XML and multilingual document authoring: converging trends.
|
|
<I>Proceedings of the The 18th International Conference on Computational Linguistics (COLING 2000)</I>,
|
|
pp. 243-249,
|
|
Saarbruecken,
|
|
2000.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/coling2000.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Relates GF not only with XML but also with definite clause grammars</I>.
|
|
</P>
|
|
<P>
|
|
P. Mäenpää and A. Ranta.
|
|
The type theory and type checker of GF.
|
|
<I>Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999</I>.
|
|
1999.
|
|
<A HREF="href=http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Concise theoretical presentation of GF, using the old notation prior to v0.9</I>.
|
|
</P>
|
|
<H2>Background for GF</H2>
|
|
<P>
|
|
In alphabetical order:
|
|
</P>
|
|
<P>
|
|
L. Magnusson.
|
|
<I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I>
|
|
<I>Monomorphic Type Theory with Explicit Substitutions</I>.
|
|
PhD Thesis, Department of Computing Science,
|
|
Chalmers University of Technology and Göteborg University,
|
|
1994.
|
|
<br>
|
|
<I>Back in 1992 the most wonderful program in the world, ALF is</I>
|
|
<I>a model that GF directly follows: GF is Yet ALF.</I>
|
|
</P>
|
|
<P>
|
|
P. Martin-Löf.
|
|
<I>Intuitionistic Type Theory</I>.
|
|
Bibliopolis, Naples, 1984.
|
|
<br>
|
|
<I>A very accessible book (if you have access to it!) on type theory directly from the source.</I>
|
|
</P>
|
|
<P>
|
|
B. Nordström, K. Petersson, and J. Smith.
|
|
<I>Programming in Martin-Löf's Type Theory: an Introduction</I>.
|
|
Oxford University Press, 1990.
|
|
The book is out of print, but a free version can be picked up from
|
|
<A HREF="http://www.cs.chalmers.se/Cs/Research/Logic/book/">www.cs.chalmers.se/Cs/Research/Logic/book/</A>
|
|
<br>
|
|
<I>Standard reference on the subject</I>.
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
<I>Type Theoretical Grammar</I>.
|
|
Oxford University Press, Oxford,
|
|
1994.
|
|
<br>
|
|
<I>Monograph on type theory in linguistics. Includes an introduction</I>
|
|
<I>to type theory. Focused on semantics, in particular anaphora. A first,</I>
|
|
<I>very rudimentary implementation of linearization in the proof system ALF.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Syntactic categories in the language of mathematics.
|
|
In P. Dybjer, B. Nordström, and J. Smith, eds.,
|
|
<I>Types for Proofs and Programs</I>,
|
|
pp. 162-182,
|
|
Lecture Notes in Computer Science
|
|
996,
|
|
Springer-Verlag,
|
|
Heidelberg,
|
|
1995.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/baastad.ps.gz">ps.gz</A>
|
|
<br>
|
|
<I>Predecessor of GF: grammar defined in type theory and implemented in ALF</I>.
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Context-relative syntactic categories and the formalization of mathematical text.
|
|
In S. Berardi and M. Coppo, eds.,
|
|
<I>Types for Proofs and Programs</I>,
|
|
pp. 231-248,
|
|
Lecture Notes in Computer Science
|
|
1158,
|
|
Springer-Verlag,
|
|
Heidelberg,
|
|
1996.
|
|
<A HREF="http://www.cs.chalmers.se/~aarne/articles/torino.ps.gz">ps.gz</A>.
|
|
<br>
|
|
<I>Extending the theory of the previous paper. The implementation in ALF</I>
|
|
<I>eventually became so heavy that the need arose for GF.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Structures grammaticales dans le français mathématique.
|
|
<I>Mathématiques, informatique et Sciences Humaines.</I>,
|
|
vol. 138 pp. 5-56 and 139 pp. 5-36,
|
|
1997.
|
|
<br>
|
|
<I>A rather comprehensive French grammar presented in a type-theoretical style.</I>
|
|
</P>
|
|
<P>
|
|
A. Ranta.
|
|
Syntactic calculus with dependent types.
|
|
<I>Journal of Logic, Language and Information</I>, vol. 4,
|
|
pp. 413-431, 1998.
|
|
<br>
|
|
<I>Interprets Lambek Calculus in type theory and defines some extensions</I>.
|
|
</P>
|
|
|
|
<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
|
|
<!-- cmdline: txt2tags -thtml gf-bibliography.txt -->
|
|
</BODY></HTML>
|