3319 search results - page 52 / 664 » Type Theoretical Databases |
GI
2001
Springer
15 years 2 months ago
2001
Springer
We describe the design and experiences gained with the database- and web-based document server DOL, which we developed at the University of Leipzig (http://dol.uni-leipzig.de). Th...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
NAR
1998
14 years 9 months ago
1998
The Yeast Protein Database (YPD) is a curated database for the proteome of Saccharomyces cerevisiae. It consists of ∼6000 Yeast Protein Reports, one for each of the known or pre...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
HOA
1993
15 years 1 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...