2335 search results - page 18 / 467 » Type Checking Type Classes |
121
click to vote
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
PPDP
2010
Springer
15 years 23 days ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
128
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
119
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
140
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...