168 search results - page 11 / 34 » A Generalization of Hybrid Let-Polymorphic Type Inference Al... |
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
A subtyping 0 is entailed by a set of subtyping constraints C, written C j= 0, if every valuation (mapping of type variables to ground types) that satisfies C also satisfies 0. ...
CPM
1999
Springer
13 years 11 months ago
1999
Springer
We address the problem of string matching on Ziv-Lempel compressed text. The goal is to search a pattern in a text without uncompressing it. This is a highly relevant issue to keep...
WSDM
2012
ACM
12 years 3 months ago
2012
ACM
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...