The Definition of Standard ML
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Deterministic, Error-Correcting Combinator Parsers
Advanced Functional Programming, Second International School-Tutorial Text
Journal of Functional Programming
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Implementation and Application of Functional Languages
Functional-Logic Graph Parser Combinators
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Lazy functional incremental parsing
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
The next 700 data description languages
Journal of the ACM (JACM)
A pattern logic for prompt lazy assertions in Haskell
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Journal of Visual Languages and Computing
A new method for dependent parsing
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
| Hi-index | 0.00 |