3319 search results - page 59 / 664 » Type Theoretical Databases |
ICOODB
2010
14 years 8 months ago
2010
Abstract. New emerging applications including genomic, multimedia, and geospatial technologies have necessitated the handling of complex application objects that are highly structu...
DGO
2003
14 years 11 months ago
2003
: We overview three major types of GIS-oriented spatiotemporal databases: (1) point-based, (2) region-based, and (3) constraint-based. We analyze the relationship among these spati...
PPDP
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
IMPERIAL
1993
15 years 1 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
181
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...