| 1. |
- Bringert, Björn, 1979, et al.
(författare)
-
A Pattern for Almost Compositional Functions
- 2008
-
Ingår i: Journal of Functional Programming. - 0956-7968. ; 18:5-6, s. 567-598
-
Tidskriftsartikel (refereegranskat)abstract
- This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional" means that for all of the constructors in the type(s), except a limited number of them, the result of the function depends only on the constructor and the results of calling the function on the constructor's arguments. The pattern consists of a generic part constructed once for each data type or family of data types, and a task-specific part. The generic part contains the code for the predictable compositional cases, leaving the interesting work to the task-specific part. Examples of the pattern are given, implemented in dependent type theory with inductive families, in Haskell with generalized algebraic data types and rank-2 polymorphism, and in Java using a variant of the Visitor design pattern. The relationships to the "Scrap Your Boilerplate" approach to generic programming, and to general tree types in dependent type theory, are investigated by reimplementing our operations using those frameworks.
|
|
| 2. |
- Bringert, Björn, 1979, et al.
(författare)
-
Interactive Multilingual Web Applications with Grammatical Framework
- 2008
-
Ingår i: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden. ; , s. 336-347
-
Konferensbidrag (refereegranskat)abstract
- We present an approach to multilingual web content based on multilingual grammars and syntax editing for a controlled language. Content can be edited in any supported language and it is automatically kept within a controlled language fragment. We have implemented a web-based syntax editor for Grammatical Framework (GF) grammars which allows both direct abstract syntax tree manipulation and text input in any of the languages supported by the grammar. With this syntax editor and the GF JavaScript API, GF grammars can be used to build multilingual web applications. As a demonstration, we have implemented an example application in which users can add, edit and review restaurants in English, Spanish and Swedish.
|
|
| 3. |
- Bringert, Björn, 1979
(författare)
-
Programming Language Techniques for Natural Language Applications
- 2008
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between abstract and concrete syntax make it easier to develop natural language applications. We describe how the type-theorectical grammar formalism Grammatical Framework (GF) can be used as a high-level language for natural language applications. By taking advantage of techniques from the field of programming language implementation, we can use GF grammars to perform portable and efficient parsing and linearization, generate speech recognition language models, implement multimodal fusion and fission, generate support code for abstract syntax transformations, generate dialogue managers, and implement speech translators and web-based syntax-aware editors. By generating application components from a declarative grammar, we can reduce duplicated work, ensure consistency, make it easier to build multilingual systems, improve linguistic quality, enable re-use across system domains, and make systems more portable.
|
|
| 4. |
- Bringert, Björn, 1979
(författare)
-
Speech Translation with Grammatical Framework
- 2008
-
Ingår i: Coling 2008: Proceedings of the workshop on Speech Processing for Safety Critical Translation and Pervasive Applications, Manchester, UK. ; , s. 5-8
-
Konferensbidrag (refereegranskat)abstract
- Grammatical Framework (GF) is a grammar formalism which supports interlingua-based translation, library-based grammar engineering, and compilation to speech recognition grammars. We show how these features can be used in the construction of portable high-precision domain-specific speech translators.
|
|
