1070 search results - page 26 / 214 » Type Classes with Functional Dependencies |
PR
2007
13 years 7 months ago
2007
The advantage of a kernel method often depends critically on a proper choice of the kernel function. A promising approach is to learn the kernel from data automatically. In this p...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
CAISE
2003
Springer
14 years 26 days ago
2003
Springer
In this paper we make three main contributions. We firstly define multivalued dependencies in XML (XMVDs) and show that they generalize the definition of a functional dependenc...
JFP
2010
13 years 6 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
CIDR
2007
13 years 9 months ago
2007
Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations,...