Semi-Automated Direction-Driven Functional Conversion - miniKanren'23
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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.
Syllabus
[miniKanren'23] Semi-Automated Direction-Driven Functional Conversion
Taught by
ACM SIGPLAN
Related Courses
Functional Programming Principles in ScalaÉcole Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX