Export or edit this event...

Galois Tech Talk

Galois, Inc
421 SW 6th Ave. Suite 300
Portland, OR 97204, US (map)



The talk will be presented by Iavor Diatchki on Tuesday, February
16th, at 10:30am.

Abstract: GF is a programming language for multilingual grammar
applications. It may be seen in a number of different ways:

• as a special-purpose language for grammars, like YACC or Happy,  

but not restricted to programming languages;

• as a functional language, like Haskell or SML, but specialized to  

grammar writing;

• as a logical framework, like Agda or Coq, but equipped with  

concrete syntax in addition to logic;

• as a natural language processing framework, like LKB, or Regulus,  

but based on functional programming and type theory. This talk is an introduction to GF’s basic concepts by example. We
will look at how to define the meaning and syntax of a language,
perform simple translations, define semantic properties, and how to
use GF together with another language such as Haskell.

Bio: Iavor Diatchki is a R&D Engineer at Galois, Inc. with a Ph.D.
from the Oregon Graduate Institute.


• Date: February 16th, 2010, Tuesday
• Time: 10:30am
• Location: Galois Inc., 421 SW 6th Ave. Suite 300 (3rd floor of  

the Commonwealth building)