Sciweavers

3273 search results - page 15 / 655
» types 2007
Sort
View
RC
2007
66views more  RC 2007»
15 years 1 months ago
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau
ACTA
2002
108views more  ACTA 2002»
15 years 1 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