Sciweavers

4190 search results - page 17 / 838
» Type Class Directives
Sort
View
ECCC
1998
55views more  ECCC 1998»
15 years 6 months ago
Characterizing Small Depth and Small Space Classes by Operators of Higher Types
Manindra Agrawal, Eric Allender, Samir Datta, Heri...
234
Voted
NDJFL
2011
15 years 1 months ago
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes
Tapani Hyttinen, Meeri Kesälä
MPC
2004
Springer
109views Mathematics» more  MPC 2004»
15 years 11 months 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