7535 search results - page 57 / 1507 » A Type System for CHR |
103
Voted
SCOPES
2004
Springer
15 years 9 months ago
2004
Springer
145
Voted
TPHOL
2007
IEEE
15 years 10 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...
120
click to vote
OSDI
2006
ACM
16 years 3 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...
134
Voted
CADE
2006
Springer
16 years 3 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 ...
124
Voted
TYPES
2007
Springer
15 years 9 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...