William Byrd on Logic and Relational Programming, miniKanren (2014)
6 hours ago
- #logic-programming
- #miniKanren
- #non-mainstream-tech
- William Byrd is a postdoctoral researcher at the University of Utah, specializing in logic and relational programming.
- He is co-author of 'The Reasoned Schemer' and co-designer of languages like miniKanren, Harlan, and Kanor.
- The interview was conducted in the context of Code Mesh London 2013, a conference focused on non-mainstream technologies.
- Topics discussed at the conference included various programming languages, both established and emerging.