Dependently Typed Languages in Statix.

Jonathan Brouwer Jesper Cockx Aron Zwaan

Published in: Eelco Visser Commemorative Symposium (2023)

Keyphrases

language independent
higher order
expressive power
language identification
databases
machine translation
text summarization
grammatical inference
multi lingual
multilingual information retrieval
data sets
computer vision
decision trees
bayesian networks
statistical machine translation
linguistic resources