[Haskell-cafe] Bidirectional programming in Haskell

[Janis Voigtlaender]

Artyom Shalkhakov wrote:
> Hello,
> 
> Are there any libraries for "bidirectional" [1] programming
> in Haskell? Any related work?

On Hackage:

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bff-0.1

The underlying research:

http://wwwtcs.inf.tu-dresden.de/~voigt/popl09-2.pdf

A web interface for playing with the library:

http://linux.tcs.inf.tu-dresden.de/~bff/cgi-bin/bff.cgi

> All I've found is a paper "There and back again: arrows for
> invertible programming", which I couldn't find the full text of.

http://www.st.cs.ru.nl/papers/2005/alia2005-biarrowsHaskellWorkshop.pdf

Ciao,
Janis.

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de