Shortcut deforestation in calculational form
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Deriving structural hylomorphisms from recursive definitions
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Universal Regular Path Queries
Higher-Order and Symbolic Computation
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
Using types to parse natural language
FP'95 Proceedings of the 1995 international conference on Functional Programming
| Hi-index | 0.00 |