7529 search results - page 171 / 1506 » The Modula-3 Type System |
173
click to vote
ADAEUROPE
2010
Springer
15 years 9 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
160
click to vote
CN
2002
15 years 4 months ago
2002
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
150
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
138
click to vote
TCS
2008
15 years 4 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
122
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...