243 search results - page 33 / 49 » Programmers' views of SoCs |
171
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
195
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
172
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
102
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
The application of self-monitoring technologies to the problem of promoting health-related behavioural change has been an active area of research for many years. This paper report...