Sciweavers

4190 search results - page 17 / 838
» Type Class Directives
Sort
View
ECCC
1998
55views more  ECCC 1998»
13 years 7 months ago
Characterizing Small Depth and Small Space Classes by Operators of Higher Types
Manindra Agrawal, Eric Allender, Samir Datta, Heri...
MPC
2004
Springer
109views Mathematics» more  MPC 2004»
14 years 28 days ago
Optimizing Generic Functions
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
Artem Alimarine, Sjaak Smetsers