7529 search results - page 22 / 1506 » The Modula-3 Type System |
109
Voted
IJCBDD
2010
15 years 11 days ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
116
click to vote
ER
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...
161
Voted
TOCL
2012
13 years 4 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
117
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
117
Voted
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...