1999 search results - page 67 / 400 » Dependently Typed Grammars |
181
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
162
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
164
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
196
click to vote
ACLLAW
2011
14 years 9 months ago
2011
In this paper, we first analyze and classify the empty categories in a Hindi dependency treebank and then identify various discovery procedures to automatically detect the existe...
131
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
The transition to democracy in South Africa has brought with it certain challenges. The main challenge is to get rid of crime and corruption.This paper presents a technique to com...