Semi-Automated Direction-Driven Functional Conversion - miniKanren'23

Explore a 47-minute conference talk from ACM SIGPLAN's miniKanren'23 event, where Ekaterina Verbitskaia, Igor Engel, and Daniil Berezun present their research on semi-automated direction-driven functional conversion. Delve into the innovative approaches and techniques discussed for transforming code between different programming paradigms, with a focus on functional programming. Gain insights into the challenges and potential solutions for automating code conversion processes while maintaining program semantics and efficiency.