7529 search results - page 92 / 1506 » The Modula-3 Type System |
152
click to vote
ESOP
1994
Springer
15 years 8 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
181
click to vote
FP
1995
15 years 7 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
121
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
137
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
137
Voted
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...