Bidirectionalization for free with runtime recording

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505888 ◽

2013 ◽

Author(s):

Kazutaka Matsuda ◽

Meng Wang

Download Full-text