2646 search results - page 121 / 530 » Local Type Inference |
115
Voted
ENTCS
2007
15 years 2 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
110
Voted
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
110
click to vote
POPL
2003
ACM
15 years 7 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
112
click to vote
BCB
2010
2010
Fast graph approaches to measure influenza transmission across geographically distributed host types
14 years 9 months ago
Recent advances in next generation sequencing are providing a number of large whole-genome sequence datasets stemming from globally distributed disease occurrences. This offers an...
109
click to vote
BC
2005
15 years 2 months ago
2005
Abstract We study the influence of spatially correlated noise on the transient dynamics of a recurrent network with Mexican-Hat type connectivity. We derive the closed form of the ...