2880 search results - page 59 / 576 » Types are calling conventions |
110
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
147
click to vote
TC
1998
15 years 5 months ago
1998
There is increasing demand to extend object-oriented middleware, such as OMG CORBA, to support applications with stringent quality of service (QoS) requirements. However, conventi...
153
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
121
click to vote
ICCD
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper proposes a low-energy instruction-cache architecture, called history-based tag-comparison (HBTC) cache. The HBTC cache attempts to re-use tag-comparison results for avo...
137
click to vote
GD
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a new graph drawing convention for 3D hierarchical drawings of directed graphs. The vertex set is partitioned into layers of vertices drawn in parallel plane...