7555 search results - page 94 / 1511 » The Type System of DBPL |
136
Voted
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...
107
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...
121
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
EOR
2006
15 years 3 months ago
2006
We consider a queueing system with c servers and a threshold type vacation policy. In this system, when a certain number d<c of servers become idle at a service completion inst...
147
Voted
DLS
2008
15 years 5 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...