1986 search results - page 293 / 398 » constraints 2006 |
ICFP
2006
ACM
14 years 8 months 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 ...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
The increasing availability of information about people's context makes it possible to deploy context-sensitive services, where access to resources provided or managed by a s...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
In-network sensor query processing is a cross-layer design paradigm in which networked sensor nodes process data acquisitional queries in collaboration with one another. As power ...