Sciweavers

7 search results - page 1 / 2
» wflp 2009
Sort
View
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
14 years 5 months ago
A Simple Region Inference Algorithm for a First-Order Functional Language
Manuel Montenegro, Ricardo Peña-Marí...
WFLP
2009
Springer
244views Algorithms» more  WFLP 2009»
14 years 5 months ago
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
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...
Yuki Kato, Koji Nakazawa
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
14 years 3 months ago
Constraint Based Strategies
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...
Claude Kirchner, Florent Kirchner, Hél&egra...
WFLP
2009
Springer
297views Algorithms» more  WFLP 2009»
14 years 5 months ago
Programming with Multiple Paradigms in Lua
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...
Roberto Ierusalimschy