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:[email protected]
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
