1313 search results - page 4 / 263 » Generic Universe Types |
ECOOP
1999
Springer
13 years 10 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
ICFP
2006
ACM
14 years 6 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
ICCD
1999
IEEE
13 years 10 months ago
1999
IEEE
CATS
2007
13 years 8 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
VR
2008
IEEE
14 years 26 days ago
2008
IEEE
In this paper we introduce a virtual locomotion system that allows navigation within any large-scale virtual environment (VE) by real walking. In contrast to [5] we have developed...