2335 search results - page 6 / 467 » Type Checking Type Classes |
136
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
100
Voted
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
82
Voted
PHOENIX
1991
15 years 6 months ago
1991
67
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
244
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...