1081 search results - page 5 / 217 » Type Inference of SELF |
CORR
2009
Springer
14 years 7 months ago
2009
Springer
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— The self motion of a kinematically redundant robotic limb with single degree of redundancy is analyzed, focusing thereby on the nonlinear self-motion component. The role of thi...
JFP
2008
14 years 8 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...