A Play on Regular Expressions (Functional Pearl)
This is joint work with Frank Huch and Thomas Wilke accepted for ICFP’10 [paper,slides].
Reinventing Haskell Backtracking
I have revised my submission to ATPS’09 — a german workshop on programming.
The most important changes are:
- a simplified implementation of iterative deepening depth-first search and
- an additional section with experimental results.
There is also an extended one page abstract summarising the work.
Purely Functional Lazy Non-deterministic Programming
This is joint work with Oleg Kiselyov and Chung-chieh Shan accepted for ICFP’09.
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
with Josep Silva, Salvador Tamarit and German Vidal