GF出版物
时间顺序相反：
H.Burden和R.Heldal。从类图生成自然语言。第八届模型驱动工程、验证和确认国际研讨会会议记录（MoDeVVa 2011），新西兰惠灵顿，ACM，2011年。PDF草稿
使用GF将平台相关需求规范描述为软件工程工具链的一部分。
C.España-Bonet、R.Enache、a.Slaski、a.Ranta、L.Márquez和M.González。MOLTO项目中的专利翻译。第四届专利翻译研讨会论文集，机器翻译峰会第十三届，中国厦门，2011年9月23日。PDF格式
混合GF-SMT系统的第一步。
Seyed M.Montazeri、Nivir Roy和Gerardo Schneider。从结构化英语合同到CL规范。第五届面向合同的软件形式语言和分析国际研讨会（FLACOS’11）2011年9月22日至23日，西班牙马拉加，EPTCS第68卷，第55-69页。PDF/DOI文件
用受控英语书写的合同的形式分析。
S.Virk、M.Humayoun和A.Ranta。开放源旁遮普语资源语法。2011年9月12日至14日，《RANLP-2011年论文集，自然语言处理的最新进展》，保加利亚希萨尔。第70-76页。PDF格式
旁遮普语语法，基于Humayoun和Ranta 2010。
D.Dannélls、M.Damova、R.Enache、M.Chechev。语义Web中改进博物馆数据库访问的框架。数字人文与文化遗产语言技术研讨会论文集，RANLP-2011，自然语言处理最新进展，保加利亚希萨，2011年9月12-14日，第8-15页PDF格式
在GF中表示和描述文化遗产本体。
A.兰塔。语言和逻辑之间的翻译：什么容易，什么难？在N.Björner和V.Sofronie-Stokkermans（编辑）中，CADE-23.自动扣除，LNCS/LNAI 6803，第5-25页，2011年。Springer的PDF PDF草稿
在CADE会议上受邀演讲，展示GF如何帮助编写自然语言界面 证明系统，并探索如何使语言更丰富，例如如何从 “对于所有数字x，x是偶数或x是奇数”到“每个数字都是偶数和奇数”。
A.兰塔。语法框架：多语言语法编程，CSLI出版物，斯坦福，2011年。书籍网页
作为GF的标准参考和教科书。
O.Caprotti、K.Angelov、R.Enache、T.Hallgren、A.Ranta。MOLTO短语手册。2010年瑞典语言技术会议。PDF格式
旅游短语手册语法，有14种欧洲语言版本。
G.Détrez和R.Enache。Android平台上的多语言应用框架瑞典语言技术会议SLTC 2010。PDF格式
对GF运行时系统的Java实现的描述，这使它成为可能创建在Android手机上运行的基于语法的应用程序//
Normunds Gruzitis和Guntis Barzdins。面向OWL的更自然的多语言控制语言接口，第九届国际计算语义学会议第335-339页，2011年。PDF格式
访问英语和拉脱维亚语的本体。
M.Humayoun和A.Ranta。发展旁遮普语形态学、语料库和词汇。第24届亚太语言、信息和计算会议（PACLIC24）, 2010.
还有另一种东南亚语言，有8800万人使用。
J.Camilleri、Gordon J.Pace和Mike Rosner。使用受控自然语言玩Nomic。CNL 2010，受控自然语言马雷蒂莫，2010年。
使用GF定义游戏规则。
R.Enache和K.Angelov直接多语言描述的类型本体论。CNL 2010，受控自然语言马雷蒂莫，2010年。
研究使用GF作为表示本体的语言的好处。 PDF格式
S.Virk、M.Humayoun和A.Ranta。开源乌尔都语资源语法。第八届亚洲语言资源研讨会会议记录（科林2010研讨会）, 2010.
巴基斯坦的国语，6000万人使用；几乎和印地语一样。
A.Ranta、K.Angelov和T.Hallgren。网络上基于语法的多语言翻译工具。ACL 2010系统演示会议记录，ACM数字图书馆，2010年。PDF格式
面向翻译系统开发人员和用户的GF概述。
D.Dannélls和J.Camilleri。希伯来语和马耳他语动词形态——GF中的开源型理论资源语法。闪族语言现状、更新和前景的语言资源（LR）和人类语言技术（HLT）会议录，LREC-2010研讨会马耳他，第57-61页。2010PDF格式
从GF的角度研究闪族非接触形态。
M.Humayoun和C.Raffalli。MathNat-受控自然语言中的数学文本。特刊：自然语言处理及其应用。计算机科学研究杂志，第46卷。2010
证明系统的自然语言接口，在GF中实现。
D.丹内尔。使用语法框架从形式规范生成语篇，GF。特刊：自然语言处理及其应用。计算科学研究杂志第46卷。第167-178页，2010年。
从自然语言生成的角度，将GF与本体进行交互。
R.Enache、A.Ranta和K.Angelov。罗马尼亚语开源计算语法。A.Gelbukh（编辑），西林-2010，LNCS 60082010年。
一种罗曼斯语言，它与罗曼斯函子完全不同。
K.Angelov和A.Ranta。在GF.N.Fuchs（编辑）中实现受控语言，CNL-2009受控自然语言，LNCS/LNAI 59722010年。
K.Angelov、B.Bringert和A.Ranta。PGF：一种可移植的打字理论语法运行时格式，逻辑、语言与信息杂志第19（2）页，第201-228页，2009年。SpringerLink公司
A.兰塔。GF资源语法库。语言技术中的语言问题, 2 (2), 2009.PDF格式
从语言学角度对图书馆进行系统介绍。
A.兰塔。语法框架：多语言语法形式主义，语言与语言学指南，第3卷，联机2009
对GF的概述，为读者提供一般的学术背景。
A.Ranta和K.Angelov。在GF中实现受控语言。CNL-2009年,CEUR研讨会记录，第448卷，联机, 2009.
举例说明在受控语言实现中使用GF，并将其移植到法语、德语和瑞典语中；2010年推出更长版本。
A.兰塔。语法作为软件库。Y.Bertot，G.Huet，J-J。Lévy和G.Plotkin（编辑），从语义学到计算机科学，剑桥大学出版社，剑桥，第281-3082009页。pdf（初步版本）
从软件工程的角度来看，文法是一种数学语言的应用实例。
K·安吉洛夫。并行多上下文无关语法中的增量解析。EACL 2009年。
描述GF解析中使用的算法。
A.Ranta、B.Bringert和K.Angelov。GF语法开发环境。系统演示。的程序EACL-2009年, 2009.PDF格式
从语法学家的角度概述GF。
B.Bringert、K.Angelov和A.Ranta。语法框架Web服务，系统演示。的程序EACL-2009年, 2009.PDF格式
概述如何使用Google web Toolkit在PGF之上构建web服务。
A.Ranta和K.Angelov。在GF中实施受控语言，出现在CNL-2009年，LNCS，Springer，2009年。
关于GF在受控语言中的使用，以Attempto controlled English的实现为例，然后移植到其他三种语言。
R.Cooper和A.Ranta。作为资源集合的自然语言。在流动中的语言：对话协调、语言变异、变化由R.Cooper和R.Kempson编辑，第109-120页。伦敦：学院出版物，2008年。
资源语法思想应用于语言学习和进化。
莫伊斯·萨尔瓦多·梅扎·莫雷诺（Moisés Salvador Meza Moreno）和布林特（B.Bringert）。具有语法框架的交互式多语言Web应用程序。在B.Nordström和A.Ranta（编辑）中，自然语言处理进展（GoTAL 2008），LNCS/LNAI 5221，施普林格出版社，2008年。
演示如何在动态多语言网页中使用GF编译为JavaScript。
Peter Ljunglöf和Staffan Larsson。用于指定基于ISU的对话系统的语法形式主义。在B.Nordström和A.Ranta（编辑）中，自然语言处理进展（GoTAL 2008），LNCS/LNAI 5221，施普林格出版社，2008年。pdf格式
解释GF语法如何指定GoDiS对话系统。
K·安吉洛夫。类型理论保加利亚语法。在B.Nordström和A.Ranta（编辑）中，自然语言处理进展（GoTAL 2008），LNCS/LNAI 5221，施普林格出版社，2008年。
解释GF中保加利亚资源语法的实现。
B.布林特。基于语法框架的高精度领域特定语际语音翻译。科林2008年医疗和其他安全关键应用语音翻译研讨会2008年8月23日，英国曼彻斯特。
演示如何基于GF语法及其对Nuance的编译来构建口语翻译器。
A.兰塔。芬兰形态学的可预测性如何？词汇构建实验。在J.Nivre、M.Dahllöf和B.Megyesi（编辑）中，资源丰富的语言技术：纪念安娜·萨瓦尔·海因乌普萨拉大学，2008年。可从以下位置获得系列主页
介绍了芬兰智能范式的实验。
A.兰塔。基于实例的语法写作。出现在L.Borin和S.Larsson（编辑），Festschrift for Robin Cooper，2007。
介绍并讨论了语法写作和基于实例的语法写作的思想。
B.布林特。通过语法编译快速开发对话系统。第八届SIGdial话语与对话研讨会2007年9月1日至2日，比利时安特卫普。pdf格式
演示如何通过生成VoiceXML和JavaScript来构建基于web的口语对话系统。
A.El Dada和A.Ranta。在GF中实现开源阿拉伯语资源语法。在M.Mughazy（ed）中，阿拉伯语语言学透视XX。第二十届阿拉伯语语言学年度研讨会论文，卡拉马祖，3月26日约翰·本杰明斯出版公司。2007
阿拉伯语资源语法项目概述，重点关注语言方面。
A.埃尔达达。阿拉伯数字及其语法在GF中的实现。闪族语言的计算方法：常见问题和资源，ACL-2007研讨会，2007年6月28日，布拉格。2007
以形态句法为重点的资源语法案例研究 结构与数字的一致性。
A.兰塔。GF模块化语法工程。语言与计算研究, 5:133-158, 2007. 草稿可用作pdf格式.
将基于库的软件工程方法应用于语法编写 并介绍了GF的模块系统。
A.兰塔。GF语法编译器。类型理论语法新方向研讨会2007年8月，都柏林（ESSLLI研讨会）。2007pdf格式
描述将GF源代码编译为较低级别的运行时格式。
M.Humayoun、H.HammarströM和A.Ranta。乌尔都语形态学、正字法和词汇提取。CAASL-2：阿拉伯语脚本语言计算方法第二次研讨会2007年7月21日至22日，斯坦福大学LSA 2007语言研究所。2007
GF中相当完整的开放源码乌尔都语形态和语法。
N.Perera和A.Ranta。使用GF资源文法库进行对话系统本地化。2007年SPEECHGRAM：ACL口语处理语法方法研讨会2007年6月29日，布拉格。2007pdf格式
将车内对话系统从两种语言移植到六种语言的实验。
B.布林特。语法框架下的语音识别语法编译2007年SPEECHGRAM：ACL口语处理语法方法研讨会2007年6月29日，布拉格。2007
从GF以多种格式生成语音识别语言模型： GSL（Nuance）、SRGS、JSGF和HTK SLF，具有嵌入式语义解释。
A.兰塔。抽象句法和具体句法的特点。第二届类型特征结构语法国际研讨会2007年5月24日，塔尔图（NODALIDA研讨会）。2007pdf格式
探索在类GF语法中结合功能的设计选择， 与基于特征的统一语法进行了比较。
O.Caprotti和M.Seppälä。数学在线测试的多语言交付。2006年柏林在线教育会议录。2006年11月29日至12月1日。德国柏林。2006pdf格式
本文显示了在 WebALT项目，使用GF和资源文法库。
J.Khegai。语法框架（GF）中的语言工程。查尔默斯理工大学计算机科学博士论文，2006年。pdf格式
关于多语言创作的文章和技术报告汇编 和俄语资源语法。
B.布林特和A.兰塔。几乎合成函数的模式。ICFP 2006，第11届ACM SIGPLAN功能编程国际会议，俄勒冈州波特兰，2006年9月18日至20日, 2006.pdf格式.
一种对编译器构造有用的泛型编程方法 以及基于转换的翻译。
M.Forsberg、H.Hammarstrom和A.Ranta。从原始文本数据中提取形态词典。FinTAL 2006年2006年8月23日至25日，图尔库。Springer LNCS/LNAI 4139，第488-499页，2006年。
一种基于形态词典的自动生成方法 在词形变化引擎上，如GF资源语法库中的引擎。
A.兰塔。类型理论与普遍语法。哲学科学、建构主义：数学、逻辑、哲学和语言学第6期，第115-131页，2006年。
中世纪论点的哲学研究 语法在所有语言中都是一样的，不同的只是单词。
J.Khegai。GF并行资源语法和俄语。2006年7月，澳大利亚悉尼，ACL2006（国际计算语言学委员会和计算语言学协会联合会议）会议记录（第475-482页）。
概述了俄语资源语法项目。
J.Khegai。子语言领域机器翻译的语法框架（GF）。欧洲机器翻译协会第十一届年会会议记录，奥斯陆。第95-104页，2005年。
演示如何在受控语言翻译中使用GF。
W.Ngang’a公司。非洲在线学习的多语言内容开发。非洲在线学习：第一届泛非信息通信技术促进发展、教育和培训会议。2006年5月24日至26日，埃塞俄比亚亚的斯亚贝巴。2006pdf格式
提出用非洲语言制作教育材料的方案 通过GF中的多语言生成。
R.琼森。从对话系统中的解释语法生成统计语言模型。意大利特伦托EACL'06会议记录。2006
使用GF语法生成语音识别的统计语言模型。
A.El Dada和A.Ranta。阿拉伯语资源语法。阿拉伯语处理（JETALA）2006年6月5日至6日，IERA，摩洛哥拉巴特，2006年。
阿拉伯语资源语法项目概述，重点是软件方面。
D.A.Burke和K.Johannisson。将正式软件规范翻译为自然语言。基于语法的方法。在P.Blache、E.Stabler、J.Busquets和R.Moot（编辑），计算语言学的逻辑方面（LACL 2005），Springer LNAI 3402，第51-66页，2005。
一篇解释多语言GF语法是如何用 提高文本质量的自然语言生成技术。
B.Bringert，R.Cooper，P.Ljunglöf，A.Ranta，《多模态对话系统语法》。2005年6月9日至11日，《DIALOR’05第九届对话语义学和语用学研讨会论文集》，法国南希, 2005.pdf格式.
演示如何将鼠标单击集成到GF语法中 以及语音输入。
K.Johannisson，正式和非正式软件规范。哥德堡大学计算机科学博士论文，2005年。[http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf]
GF-KeY项目中的文章集，以及介绍。
P.Ljunglöf。语法框架的表达性和复杂性。哥德堡大学计算机科学博士论文，2004年。pdf格式
GF及其解析问题的语言理论研究。
A.兰塔。语法框架：一种类型理论语法形式主义。函数编程杂志第14（2）页，第145-189页，2004年。草稿可用作邮政总局.
解释GF形式主义及其实现的理论论文。 GF上的标准参考，但不涵盖模块系统。
A.兰塔。类型理论中的计算语义。数学与社会科学第165页，第31-57页，2004年。草稿可用作pdf格式.
//显示蒙太古风格语法如何在GF中实现并扩展//这是为了给回指表达式打理论语法。
H.Hammarström和A.Ranta。GF中的基数。世界语言中的数字讲习班马克斯·普朗克进化人类学研究所语言学系，莱比锡，2004年。
数字语法项目概述，涵盖88种语言。
A.兰塔。语法框架教程。编辑A.Beckmann和N.Preining，ESSLLI 2003课程材料I,后勤学院第五卷，第1-86页。库尔特·哥德尔学会，维也纳，2004年。
GF在线教程1.0版的修订版。
J.Khegai和A.Ranta。在GF中建立和使用俄语资源语法。在a.Gelbukh（ed）中，智能文本处理与计算语言学（CICLing-2004），韩国首尔，2003年2月，Springer LNCS 945，第38-412004页。邮政总局.
介绍GF资源语法项目，以俄语为主要示例。
A.Ranta和R.Cooper。作为校对编辑的对话系统。逻辑、语言与信息杂志第13页，第225-240页，2004年。会议版（IJCAR/ICoS-3，锡耶纳，2001年6月）可用作邮政总局.显示了任务导向对话系统之间的相似性 和基于元变量的校对编辑器。
J.Khegai和A.Ranta。在GF中建立和使用俄语资源语法。在a.Gelbukh（ed）中，智能文本处理与计算语言学（CICLing-2004），韩国首尔，2003年2月，Springer LNCS 945，第38-412004页。邮政总局.
解释如何在语法编辑中使用GF GUI，并讨论 如何创建新语法。
R.Hähnle、K.Johannisson和A.Ranta。非正式和正式需求规范的编写工具。在R.D.Kutsche和H.Weber（编辑）中，ETAPS/FASE-2002：软件工程的基本方法，斯普林格LNCS，第2306卷，第233-248页，2002年。pdf格式
描述面向对象的基于GF的创作工具 OCL和英语规范。全部执行 立场文件（Hähnle&Ranta 2001）中提出的工作。
K.Johannisson和A.Ranta，多语言指令的形式验证。2001年冬季联合会议记录查尔默斯理工大学和哥德堡大学计算机科学和计算机工程系。2001邮政总局.
四种语言的报警系统说明，在校对编辑器Alfa中验证。
R.Hähnle和A.Ranta，《将OCL与世界其他地区联系起来》。ETAPS 2001 UML转换研讨会（WTUML），热那亚，2001年。邮政总局.
一份立场文件，解释了如何使用GF来帮助面向对象 建模，并举例说明自然语言与 OCL（对象约束语言）.
T.Hallgren，“插入排序的正确性”，手稿，查尔默斯大学，哥德堡，2001年。在中可用秒
GF-Alfa生成的七页文本.
A.兰塔。“Bescherelle bricolé”，邮政总局, 2001.
一本关于法语变位的机器生成书，在GF中实现。
T.Hallgren和A.Ranta，可扩展校对文本编辑器。在M.Parigot和A.Voronkov（编辑）中，程序设计和自动推理逻辑（LPAR’2000），LNCS/LNAI 1955，第70-84页，斯普林格·弗拉格，海德堡，2000年。邮政总局.
描述用GF编写的校对编辑器Alfa的接口.
M.Dymetman、V.Lux和A.Ranta，《XML和多语言文档创作：融合趋势》。第18届国际计算语言学会议论文集（COLING 2000）第243-249页，Saarbruecken，2000年。邮政总局.
GF不仅与XML相关，还与定子句语法相关.
P.Mäenpää和A.Ranta。GF的类型理论和类型检查器。高级编程语言的原理、逻辑和实现座谈会，逻辑框架和元语言讲习班，巴黎，1999年9月28日. 1999.邮政总局.
使用0.9版之前的旧符号，简要介绍GF的理论.
GF背景
按字母顺序：
L.Magnusson（马格努森）。基于Martin-Löf的校对编辑器ALF的实现 具有显式替换的单态类型理论1994年，查尔默斯科技大学和哥德堡大学计算科学系博士论文。
早在1992年，ALF是世界上最棒的项目 GF直接遵循的模型：GF是Yet ALF。
P.Martin-Löf。直觉主义类型理论《那不勒斯图书馆》，1984年。
这是一本非常容易理解的书（如果你有机会接触到它！），直接从源头上介绍类型理论。
B.Nordström、K.Peterson和J.Smith。马丁·洛夫类型理论中的程序设计：导论牛津大学出版社，1990年。这本书已经绝版了，但可以从www.cse.chalmers.se/Cs/Research/Logic/book/
主题的标准参考.
A.兰塔。类型理论语法牛津大学出版社，牛津，1994年。
语言学类型理论专著。包括介绍 类型理论。侧重于语义，特别是指代。首先， 证明系统ALF中线性化的基本实现。
A.兰塔。数学语言中的句法范畴。在P.Dybjer、B.Nordström和J.Smith编辑中。，证明和程序的类型第162-182页，《996年计算机科学讲义》，斯普林格·弗拉格，海德堡，1995年。邮政总局
GF的前身：类型理论中定义的语法，并在ALF中实现.
A.兰塔。上下文相关句法类别和数学文本的形式化。在S.Berardi和M.Coppo编辑的。，证明和程序的类型第231-248页，《计算机科学1158讲义》，斯普林格·弗拉格，海德堡，1996年。邮政总局.
扩展了前一篇论文的理论。ALF中的实现 最终变得如此沉重，以至于需要GF。
A.兰塔。结构语法es-dans-le français mathematique。数学、信息与科学。第138卷，第5-56页和139页，第5-36页，1997年。
以类型理论风格呈现的相当全面的法语语法。
A.兰塔。依赖类型的语法演算。逻辑、语言与信息杂志1998年，第4卷，第413-431页。
在类型理论中解释Lambek演算并定义一些扩展.
