
26 May
2009
26 May
'09
6:48 a.m.
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@tcs.inf.tu-dresden.de