7 search results - page 1 / 2 » wflp 2009 |
WFLP
2009
Springer
14 years 5 months ago
2009
Springer
WFLP
2009
Springer
14 years 5 months ago
2009
Springer
WFLP
2009
Springer
14 years 5 months ago
2009
Springer
This paper shows that type-checking and type-inference problems are equivalent in domain-free lambda calculi with existential types, that is, type-checking problem is Turing reduci...
WFLP
2009
Springer
14 years 3 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
WFLP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...