Sciweavers

3273 search results - page 15 / 655
» types 2007
Sort
View
105
Voted
MSCS
2007
62views more  MSCS 2007»
15 years 3 months ago
On the ubiquity of certain total type structures
John Longley
105
Voted
RC
2007
66views more  RC 2007»
15 years 3 months ago
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau
121
Voted
ACTA
2002
108views more  ACTA 2002»
15 years 3 months ago
Object type constructors
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
Dominic Duggan