Sciweavers

3273 search results - page 15 / 655
» types 2007
Sort
View
RC
2007
66views more  RC 2007»
14 years 11 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»
14 years 11 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