7529 search results - page 89 / 1506 » The Modula-3 Type System |
123
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
156
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
101
click to vote
TPHOL
1992
IEEE
15 years 8 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
118
Voted
APAL
2010
15 years 4 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
143
click to vote
LCR
2000
Springer
15 years 7 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...