1982 search results - page 86 / 397 » Parametricity and dependent types |
129
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
164
click to vote
DLS
2005
15 years 6 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
144
Voted
ACL
1997
15 years 6 months ago
1997
A new language model for speech recognition inspired by linguistic analysis is presented. The model develops hidden hierarchical structure incrementally and uses it to extract mea...
139
click to vote
AAECC
1998
Springer
15 years 4 months ago
1998
Springer
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
164
Voted
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Recent work in deduplication has shown that collective deduplication of different attribute types can improve performance. But although these techniques cluster the attributes col...