Declarative Programming Courses
ACM SIGPLAN via YouTube Goals as Constraints: Writing miniKanren Constraints in miniKanren
ACM SIGPLAN via YouTube klogic: miniKanren in Kotlin - miniKanren'23 Conference
ACM SIGPLAN via YouTube Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture
ACM SIGPLAN via YouTube The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
ACM SIGPLAN via YouTube Synthesizing Efficient Memoization Algorithms
ACM SIGPLAN via YouTube