3071 search results - page 206 / 615 » Explanatory Design Theory |
264
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
185
Voted
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
157
Voted
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
184
click to vote
AUTONOMICS
2009
ACM
16 years 19 days ago
2009
ACM
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...
165
click to vote
CANDC
2009
ACM
16 years 19 days ago
2009
ACM
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...