18429 search results - page 58 / 3686 » Typing dynamic typing |
AIRS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
CSL
2000
Springer
15 years 4 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
175
click to vote
VEE
2012
ACM
13 years 7 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
