2335 search results - page 206 / 467 » Type Checking Type Classes |
100
click to vote
SIAMCOMP
2008
15 years 18 days ago
2008
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
114
Voted
AC
2002
Springer
15 years 17 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
112
Voted
ML
2007
ACM
15 years 5 days ago
2007
ACM
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
113
click to vote
ICFP
2006
ACM
16 years 19 days ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
92
Voted
ICFP
2004
ACM
16 years 19 days ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...