1392 search results - page 31 / 279 » Staging generic programming |
AAIP
2009
13 years 8 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
AUTOMATICA
2008
13 years 7 months ago
2008
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...
CIA
2007
Springer
14 years 1 months ago
2007
Springer
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
CP
2009
Springer
14 years 2 months ago
2009
Springer
