Haskell '04 : proceedings of the ACM SIGPLAN 2004 Haskell Workshop : September 22-22, 2004, Snowbird, Utah, U…
by ACM Special Interest Group on Programming Languages, ACM SIGPLAN Haskell Workshop, ACM SIGPLAN Haskell Workshop, Nilsson, Henrik, ACM SIGPLAN Haskell Workshop, Association for Computing Machinery
Haskell '04 : proceedings of the ACM SIGPLAN 2004 Haskell Workshop : September 22-22, 2004, Snowbird, Utah, U…
by ACM Special Interest Group on Programming Languages, ACM SIGPLAN Haskell Workshop, ACM SIGPLAN Haskell Workshop, Nilsson, Henrik, ACM SIGPLAN Haskell Workshop, Association for Computing Machinery
Haskell '04: proceedings of the ACM SIGPLAN 2004 Haskell Works…
by ACM Special Interest Group on Programming Languages, ACM SIGPLAN Haskell Workshop, Snowbird, Utah), Nilsson, Henrik, ACM SIGPLAN International Conference on Functional Programming, Snowbird, Utah), Association for Computing Machinery
Haskell '04: proceedings of the ACM SIGPLAN 2004 Haskell Works…
by ACM Special Interest Group on Programming Languages, ACM SIGPLAN Haskell Workshop, Snowbird, Utah), Nilsson, Henrik, Association for Computing Machinery, ACM SIGPLAN International Conference on Functional Programming, Snowbird, Utah)
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory h…