Bidirectionalization for free with runtime recording

Kazutaka Matsuda, Meng Wang
2013 Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13  
doi:10.1145/2505879.2505888 dblp:conf/ppdp/MatsudaW13 fatcat:r7l7e5dxazf2nh25xjwq235khu