Sciweavers

1999 search results - page 36 / 400
» Dependently Typed Grammars
Sort
View
JFP
2000
75views more  JFP 2000»
15 years 1 months ago
Do we need dependent types?
Daniel Fridlender, Mia Indrika
EMNLP
2010
14 years 12 months ago
Using Universal Linguistic Knowledge to Guide Grammar Induction
We present an approach to grammar induction that utilizes syntactic universals to improve dependency parsing across a range of languages. Our method uses a single set of manually-...
Tahira Naseem, Harr Chen, Regina Barzilay, Mark Jo...
ANSOFT
2002
162views more  ANSOFT 2002»
15 years 1 months ago
Foundations of Fast Communication via XML
Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for docum...
Welf Löwe, Markus L. Noga, Thilo S. Gaul
LACL
1998
Springer
15 years 6 months ago
Strict Compositionality and Literal Movement Grammars
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
Marcus Kracht
PLDI
2010
ACM
15 years 11 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala