7529 search results - page 187 / 1506 » The Modula-3 Type System |
171
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
155
Voted
POPL
1995
ACM
15 years 9 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
162
Voted
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
162
click to vote
QUESTA
2008
15 years 5 months ago
2008
We consider a discrete-time tree network of polling servers where all packets are routed to the same node (called node 0), from which they leave the network. All packets have unit...
144
Voted
TYPES
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...