18429 search results - page 161 / 3686 » Typing dynamic typing |
272
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
274
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
205
Voted
POPL
2002
ACM
16 years 5 months ago
2002
ACM
142
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
131
Voted
DCC
2007
IEEE
16 years 4 months ago
2007
IEEE
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...