2646 search results - page 46 / 530 » Local Type Inference |
82
Voted
IJWBC
2007
15 years 9 days ago
2007
BIOINFORMATICS
2008
14 years 11 months ago
2008
PRL
2010
14 years 7 months ago
2010
104
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
189
click to vote
SIGMOD
2006
ACM
16 years 20 days ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...