18429 search results - page 84 / 3686 » Typing dynamic typing |
124
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
JISE
2007
15 years 4 months ago
2007
stems. Three layers of control abstraction for formation control are formation shape, reference type, and robotic control. Reference types play an important role in formation contr...
177
click to vote
WOLLIC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
133
click to vote
IEEECGIV
2009
IEEE
15 years 11 months ago
2009
IEEE
A new approach to Thai font type recognition that is presented in this paper is based on linear interpolation analysis of the character contour. The algorithm can perform effectiv...
119
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...