7555 search results - page 73 / 1511 » The Type System of DBPL |
CC
2005
Springer
14 years 2 months ago
2005
Springer
SCOPES
2004
Springer
14 years 2 months ago
2004
Springer
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
OSDI
2006
ACM
14 years 9 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...