47 search results - page 5 / 10 » Representing Nested Inductive Types Using W-Types |
CINQ
2004
Springer
14 years 13 days ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
ISMB
1994
13 years 8 months ago
1994
A new category of protein motif is introduced. This type of motif captures, in addition to global structure, the nested structure of its componentparts. Adata.set of four proteins...
PLPV
2009
ACM
14 years 3 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...