|
Change #1935
2010-02-11
11:01:04
|
create
Calagator::Event
1250458313
Galois Tech Talk
Roll back
| description |
nil |
→ |
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.
Details:
• Date: February 16th, 2010, Tuesday
• Time: 10:30am
• Location: Galois Inc., 421 SW 6th Ave. Suite 300 (3rd floor of
the Commonwealth building) |
| end_time |
nil |
→ |
2010-02-16 11:30:00 -0800 |
| id |
nil |
→ |
1250458313 |
| start_time |
nil |
→ |
2010-02-16 10:30:00 -0800 |
| title |
nil |
→ |
Galois Tech Talk |
| url |
nil |
→ |
http://www.galois.com/blog/2010/02/11/tech-talk-introduction-to-gf-the-grammatical-framework/ |
| venue_id |
nil |
→ |
202390439 |
|