1061 search results - page 143 / 213 » Dependently Sorted Logic |
125
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
108
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
100
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
127
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
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...
100
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...