@misc{PachecoFATBIT:2012, title = {Functional Logic Semantic Bidirectionalization for Free!}, author = {H. Pacheco}, month = {sep}, year = {2012}, note = {Joint FATBIT/SSaaPP Workshop, Braga}, comment = {<a href="publications/curry-slides.pdf">[slides]</a>} }