2233 search results - page 129 / 447 » Modular type classes |
135
Voted
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
112
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
114
Voted
DLOG
2010
15 years 16 days ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
115
click to vote
SIGECOM
2004
ACM
15 years 8 months ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
125
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...