31686 search results - page 309 / 6338 » Resource typing in Guru |
PPDP
2005
Springer
15 years 6 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...
53
Voted
JISE
2007
15 years 20 days 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...
126
Voted
WOLLIC
2010
Springer
14 years 11 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...
98
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...
116
Voted
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...