824 search results - page 89 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
100
click to vote
AAAI
2010
15 years 4 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
102
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
131
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
134
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
229
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...