-
Notifications
You must be signed in to change notification settings - Fork 6
Abstracts.2020.GF&Subtyping
Fabian edited this page Dec 10, 2020
·
8 revisions
by Inari Listenmaa
Grammatical Framework (GF) is a framework for building multilingual grammar applications. Its main components are a functional programming language and a resource library that contains the linguistic details of many natural languages. GF has a rich type system, including dependent types and subtyping.
The first part of the talk is a general introduction to GF. The second part is an introduction to subtyping using GF.
- Inari Listenmaa: Subtyping in GF: practical examples