18429 search results - page 453 / 3686 » Typing dynamic typing |
203
click to vote
ICCCI
2011
Springer
14 years 7 months ago
2011
Springer
This paper presents an exploration of the differences between agent-based and population-based models for trust dynamics. This exploration is based on both a large variety of simu...
186
click to vote
POPL
1995
ACM
15 years 11 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
208
click to vote
APLAS
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
178
click to vote
ICWE
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
171
click to vote
ECCTD
2011
14 years 7 months ago
2011
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...