2290 search results - page 48 / 458 » Extensible Protected Types |
175
click to vote
PPSC
1997
15 years 7 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...
183
click to vote
TPHOL
2008
IEEE
16 years 9 days 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...
147
click to vote
DCC
2007
IEEE
16 years 5 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...
160
click to vote
APLAS
2006
ACM
15 years 12 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...
155
click to vote
APLAS
2004
ACM
15 years 11 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...