1052 search results - page 62 / 211 » Foundations for Virtual Types |
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of programming: Can your application be structured in such a way that both the data model and...
DAGSTUHL
2001
13 years 10 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
ENTCS
2006
13 years 9 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
IICS
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The de�...
ECIS
2004
13 years 10 months ago
2004
: The purpose of this paper is to examine the current state of open source projects in health care environment and the level of collaboration in this field. We underpinned our disc...