Publications by Aarne Ranta

Last updated in 2012. For a more up to date view: my public profile at Google Scholar


A. Ranta. Implementing Programming Languages. An Introduction to Compilers and Interpreters, with an appendix coauthored by Markus Forsberg, College Publications, London, 2012. Book web page

A. Ranta. Grammatical Framework: Programming with Multilingual Grammars, CSLI Publications, Stanford, 2011. Book web page

B. Nordström and A. Ranta (eds). Advances in Natural Language Processing, Proceedings of GoTAL 2008, 6th International Conference on Natural Language Processing, Gothenburg, Sweden, LNCS/LNAI, Vol. 5221, 2008.

S. Negri J. von Plato, with an appendix by A. Ranta. Structural Proof Theory, Cambridge University Press, 2001.

P. Blackburn, M. Dymetman, A. Lecomte, A. Ranta, C. Retoré, and E. Villemont de la Clergerie. Logical aspects of computational linguistics: an introduction. In C. Retoré (ed), LACL'96 - Logical Aspects of Computational Linguistics. LNCS/LNAI, vol. 1328, Springer, 1997.

A. Ranta. Type Theoretical Grammar, Oxford University Press, Oxford, 1994. Google Books

Articles in refereed journals

K. Angelov, B. Bringert and A. Ranta. PGF: A Portable Run-time Format for Type-theoretical Grammars, Journal of Logic, Language and Information, 19(2), pp. 201-228, 2009. SpringerLink

A. Ranta. The GF Resource Grammar Library. Linguistic Issues in Language Technology, 2 (2), 2009. PDF

A. Ranta. GF: A Multilingual Grammar Formalism. Language and Linguistics Compass, vol. 3, 2009. on-line

B. Bringert and A. Ranta. A Pattern for Almost Compositional Functions. Journal of Functional Programming, 18(5-6), pp. 567-598, 2008. pdf

A. Ranta. Modular Grammar Engineering in GF. Research on Language and Computation, 5:133--158, 2007.

A. Ranta and R. Cooper. Dialogue Systems as Proof Editors. Journal of Logic, Language and Information, 13, pp. 225-240, 2004.

A. Ranta. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming, 14(2), pp. 145-189, 2004. PDF Free PDF (preprint)

A. Ranta. Computational semantics in type theory. Mathematics and Social Sciences, 165, pp. 31-57, 2004.

A. Ranta. Syntactic calculus with dependent types. Journal of Logic, Language and Information, 4, pp. 413-431, 1998.

A. Ranta. Structures grammaticales dans le français mathématique. Mathématiques, informatique et Sciences Humaines, vol. 138 pp. 5-56 and 139 pp. 5-36, 1997.

A. Ranta. Type-theoretical interpretation and generalization of phrase structure grammar. Bulletin of the IGPL 3, pp. 319-342, 1995.

A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14, pp. 203-239, 1991.

A. Ranta. Constructing possible worlds. Theoria, 57, pp. 77-100, 1991.

A. Ranta. Propositions as games as types. Synthese, 76, pp. 377-395, 1988.

Articles in refereed collections and conferences

A. Ranta. Example-Based Grammar Writing. In S. Larsson and L. Borin (eds), From Quantification to Conversation. Festschrift for Robin Cooper on the Occasion of his 65th Birthday. College Publications, London, 2012.

A. Ranta. On the Syntax and Translation of Finnish Discourse Clitics. In D. Santos, K. Lindén and W. Ng'ang'a (eds), Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthday. Springer, Heidelberg, 2012. pp. 227-241.

A. Ranta. Machine Translation and Type Theory. In P. Dybjer, S. Lindström, E. Palmgren, and G. Sundholm (eds), Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Springer, Heidelberg, 2012. pp. 281-312.

O. Caprotti and A. Ranta. Ramona Enache, Cristina Espan a-Bonet, Aarne Ranta and Lluís Màrquez. A Hybrid System for Patent Translation. EAMT, May 2012, Trento (European Association of Machine Translation). 2012.

O. Caprotti and A. Ranta. MOLTO - Multilingual On-Line Translation. Poster, EAMT, May 2012, Trento (European Association of Machine Translation). 2012.

G. Détrez and A. Ranta. Smart Paradigms and the Predictability and Complexity of Inflectional Morphology. EACL (European Association for Computational Linguistics), Avignon, April 2012. preprint pdf

A. Ranta, R. Enache, and G. Détrez. Controlled Language for Everyday Use: the MOLTO Phrasebook. In N. Fuchs and M. Rosner (eds), Controlled Natural Language 2010, Springer LNCS/LNAI, vol. 7175, 2012. pp. 115-136. preprint pdf

C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez. Patent translation within the MOLTO project. Proceedings of the 4th Workshop on Patent Translation, MT Summit XIII, Xiamen, China, September 23, 2011. PDF

S. Virk, M. Humayoun, and A. Ranta. An Open-Source Punjabi Resource Grammar. Proceedings of RANLP-2011, Recent Advances in Natural Language Processing, Hissar, Bulgaria, 12-14 September, 2011. pp. 70-76. PDF

A. Ranta. Translating between Language and Logic: What Is Easy and What is Difficult? In N. Bjørner and V. Sofronie-Stokkermans (eds.), CADE-23. Automated Deduction, LNCS/LNAI 6803, pp. 5-25, 2011. PDF at Springer Draft PDF

M. Humayoun and A. Ranta. Developing Punjabi Morphology, Corpus and Lexicon. The 24th Pacific Asia conference on Language, Information and Computation (PACLIC24), 2010.

S. Virk, M. Humayoun, and A. Ranta. An Open Source Urdu Resource Grammar. Proceedings of the 8th Workshop on Asian Language Resources (Coling 2010 workshop), 2010.

A. Ranta, K. Angelov, and T. Hallgren. Tools for multilingual grammar-based translation on the web. Proceedings of the ACL 2010 System Demonstrations, ACM Digital Library, 2010.

R. Enache, A. Ranta, and K. Angelov. An Open-Source Computational Grammar of Romanian. A. Gelbukh (ed.), CiCLING-2010, LNCS 6008, 2010.

K. Angelov and A. Ranta. Implementing Controlled Languages in GF. N. Fuchs (ed.), CNL-2009 Controlled Natural Languages, LNCS/LNAI 5972, 2010.

A. Ranta. Grammars as Software Libraries. In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), From Semantics to Computer Science, Cambridge University Press, Cambridge, pp. 281--308, 2009.

A. Ranta and K. Angelov. Implementing Controlled Languages in GF. CNL-2009, CEUR Workshop Proceedings, vol. 448, on-line, 2009.

B. Bringert, K. Angelov and A. Ranta. Grammatical Framework Web Service. System demo, Proceedings of EACL'09, Athens, 2009.

A. Ranta, B. Bringert and K. Angelov. The GF Grammar Development System. System demo, Proceedings of EACL'09, Athens, 2009.

R. Cooper and A. Ranta. Natural Languages as Collections of Resources. In R. Cooper and R. Kempson (eds), Language in Flux: Dialogue Coordination, Language Variation, Change, pp. 109-120, College Publications, London, 2008.

A. El Dada and A. Ranta. Implementing an Open Source Arabic Resource Grammar in GF. In M. Mughazy (ed.), Perspectives on Arabic Linguistics XX John Benjamins Publishing Company, Amsterdam and Philadelphia, 2007.

A. Ranta. The GF Grammar Compiler. Workshop on New Directions in Type-theoretic Grammars, Dublin, August 2007 (ESSLLI workshop). 2007.

N. Perera and A. Ranta. Dialogue System Localization with the GF Resource Grammar Library. In SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, June 29, 2007, Prague, 2007.

M. Humayoun, H. Hammarström, and A. Ranta. Urdu Morphology, Orthography and Lexicon Extraction. CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages, July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University. 2007.

A. Ranta. Features in Abstract and Concrete Syntax. The 2nd International Workshop on Typed Feature Structure Grammars, Tartu, 24 May 2007 (NODALIDA workshop). 2007.

B. Bringert and A. Ranta. A Pattern for Almost Compositional Functions. ICFP 2006, The 11th ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 18-20, 2006, 2006.

M. Forsberg, H. Hammarstrom, and A. Ranta. Morphological Lexicon Extraction from Raw Text Data. FinTAL 2006, Turku, August 23-25, 2006. Springer LNCS/LNAI 4139, pp. 488-499, 2006.

A. El Dada and A. Ranta. Arabic Resource Grammar. Arabic Language Processing (JETALA), 5-6 June 2006, IERA, Rabat, Morocco, 2006.

M. Forsberg and A. Ranta. Functional Morphology: Tool Demonstration. FSMNLP 2005, Springer LNCS 4002, pp 304-305. 2005.

B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, Multimodal Dialogue System Grammars. Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005, 2005.

M. Forsberg and A. Ranta. Functional Morphology. Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, pp 213-223. ACM Press, 2004.

H. Hammarström and A. Ranta. Cardinal Numerals Revisited in GF. Workshop on Numerals in the World's Languages. Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig, 2004.

A. Ranta. Grammatical Framework Tutorial. In A. Beckmann and N. Preining, editors, ESSLLI 2003 Course Material I, Collegium Logicum, volume V, pp. 1-86. Kurt Gödel Society, Vienna, 2004.

J. Khegai and A. Ranta. Building and Using a Russian Resource Grammar in GF. In A. Gelbukh (ed), Intelligent Text Processing and Computational Linguistics (CICLing-2004), Seoul, Korea, February 2003, Springer LNCS 2945, pp. 38-41, 2004.

J. Khegai, B. Nordström, and A. Ranta. Multilingual Syntax Editing in GF, In A. Gelbukh (ed), Intelligent Text Processing and Computational Linguistics (CICLing-2003), Mexico City, February 2003, Springer LNCS 2588, pp. 453-464, 2003.

M. Forsberg and A. Ranta. Labelled BNF: A High-Level Formalism for Defining Well-Behaved Programming Languages. In J. Vain and T. Uustalu (eds), Proceedings of the Estonian Academy of Sciences: Physics and Mathematics, Special issue on programming theory, 52:356-377, 2003.

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), ETAPS/FASE-2002: Fundamental Approaches to Software Engineering, Springer LNCS, vol. 2306, pp. 233--248, 2002.

R. Hähnle and A. Ranta, Connecting OCL with the Rest of the World. ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001.

T. Hallgren and A. Ranta, An Extensible Proof Text Editor. In M. Parigot and A. Voronkov (eds), Logic for Programming and Automated Reasoning (LPAR'2000), LNCS/LNAI 1955, pp. 70-84, Springer Verlag, Heidelberg, 2000.

M. Dymetman, V. Lux, and A. Ranta, XML and multilingual document authoring: converging trends. Proceedings of the The 18th International Conference on Computational Linguistics (COLING 2000), pp. 243-249, Saarbruecken, 2000.

P. Mäenpää and A. Ranta. The type theory and type checker of GF. Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999. 1999.

A. Ranta. A Multilingual Natural-Language Interface to Regular Expressions. In L. Karttunen and K. Oflazer (eds), Finite State Methods in Natural Language Processing (FSMNLP) 1998, pp. 79-90. Bilkent University, Ankara, 1998.

A. Ranta. Context-relative syntactic categories and the formalization of mathematical text. In S. Berardi and M. Coppo, eds., Types for Proofs and Programs, pp. 231-248, Lecture Notes in Computer Science 1158, Springer-Verlag, Heidelberg, 1996. ps.gz.

A. Ranta. Syntactic categories in the language of mathematics. In P. Dybjer, B. Nordström, and J. Smith, eds., Types for Proofs and Programs, pp. 162-182, Lecture Notes in Computer Science 996, Springer-Verlag, Heidelberg, 1995. ps.gz

A. Ranta. Type theory and the informal language of mathematics. In H. Barendregt and T. Nipkow, editors, Types for Proofs and Programs, pp. 352-365. Lecture Notes in Computer Science 806, Springer-Verlag, Heidelberg, 1994. ps.gz

A. Ranta. Understanding and interpretation of text. In U. Egli, P.E. Pause, C. Schwarze, A. von Stechow and G. Wienold (eds.), Lexical Knowledge in the Organization of Language, pp. 185-200. John Benjamin's, Amsterdam and Philadelphia, 1995.

A. Ranta. Anaphora in game theoretical semantics and in intuitionistic type theory. In L. Haaparanta, M. Kusch, and I. Niiniluoto, editors, Language, Knowledge, and Intentionality: Perspectives on the Philosophy of Jaakko Hintikka, pp. 265-274. Acta Philosophica Fennica, Vol. 49. Helsinki, 1990.

P. Mäenpää and A. Ranta. An implementation of intuitionistic categorial grammar. In L. Pólos and L. Kálmán, editors, Papers from the Second Symposium on Logic and Language, pp. 299-318, Akadémiai Kiadó, Budapest, 1990.

A. Ranta. Prospects for type-theoretical semantics of natural language. In I. Rúzsa and A. Szabolcsi (eds), Proceedings of the '87 Debrecen Colloquium on Logic and Language, pp. 171-183. Akadémiai Kiadó, Budapest, 1987,

Other publications

A. Ranta. How predictable is Finnish morphology? An experiment on lexicon construction. In J. Nivre, M. Dahllöf and B. Megyesi (eds), Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein, University of Uppsala, 2008.

J. Khegai and A.Ranta. GF Russian Resource Library. Technical Report no.2006-14 in Computing Science Chalmers University of Technology and Gothenburg University, 2006.

M. Pellauer, M. Forsberg, and A.Ranta. BNF Converter: Multilingual Front-End Generation from Labelled BNF Grammars. Technical Report no.2004-09 in Computing Science Chalmers University of Technology and Gothenburg University, 2004.

K. Johannisson and A.Ranta, Formal Verification of Multilingual Instructions. Proceedings of the Joint Winter Meeting 2001. Departments of Computer Science and Computer Engineering, Chalmers University of Technology and Göteborg University.

A. Ranta. Studies in constructive semantics, PhD Thesis. Publications of the Department of Philosophy, University of Helsinki, No 1/1990, 1990.


K. Angelov, B. Bringert, H. Burden, H.-J. Daniels, G. Détrez, R. Enache, M. Forsberg, T. Hallgren, H. Hammarström, K. Johannisson, J. Khegai, P. Ljunglöf, P. Mäenpää, and A. Ranta. Grammatical Framework, Version 3.2. Available on the GF home page 1998-2011.

B. Bringert, J. Broberg, P. Callaghan, M. Forsberg, P. Gammie, P. Jansson, K. Johannisson, A.-J. Kaijanaho, U. Norell, M. Pellauer, and A. Ranta The BNF Converter, Version 2.3. Available on the BNF Converter home page 2002-2007.

M. Forsberg and A. Ranta. Lexicon Extraction Tool. Version 2.0. Available on the Lexicon Extraction home page 2004-2007.

M. Forsberg and A. Ranta. Functional Morphology, Version 2.2. Available on the Functional Morphology home page 2001-2008.

A. Ranta. PESCA - A Proof Editor for Sequent Calculus. Code and documentation. Available on the PESCA home page, 1999.

A. Ranta. Natural language interface to Xerox Finite State Tool. Haskell Code. Property of Xerox Corporation. Documented in publication (Ranta 1998).