Sciweavers

1999 search results - page 47 / 400
» Dependently Typed Grammars
Sort
View
119
Voted
JDCTA
2010
163views more  JDCTA 2010»
14 years 8 months ago
An Efficient Syntactic Analyzer Using Semantic Connection Units
We implement a Korean syntactic analyzer which decreases many ambiguities in syntax parse trees using segmentation and semantic connection units. We use dependency grammar for par...
Yong-uk Park, Hyuk-chul Kwon
ICFP
2008
ACM
16 years 1 months ago
Type checking with open type functions
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T...
ALT
2005
Springer
15 years 11 months ago
Learning Multiple Languages in Groups
We consider a variant of Gold’s learning paradigm where a learner receives as input n different languages (in form of one text where all input languages are interleaved). Our g...
Sanjay Jain, Efim B. Kinber
90
Voted
COLING
1996
15 years 3 months ago
GramCheck: A Grammar and Style Checker
This paper presents a gratmnar and style checker demonstrator for Spanish and Greek native writers developed within the project GramCheck. Besides a brief grmnmar error typology f...
Flora Ramírez Bustamante, Fernando Sá...
ACL
2008
15 years 3 months ago
Enhancing Performance of Lexicalised Grammars
This paper describes how external resources can be used to improve parser performance for heavily lexicalised grammars, looking at both robustness and efficiency. In terms of robu...
Rebecca Dridan, Valia Kordoni, Jeremy Nicholson