2290 search results - page 48 / 458 » Extensible Protected Types |
139
Voted
PPSC
1997
15 years 3 months ago
1997
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...
130
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
104
Voted
DCC
2007
IEEE
16 years 1 months ago
2007
IEEE
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
126
Voted
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
105
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...