Implementing a Relational Programming Language in a Functional Language

This evening's talk will be given by William E. Byrd:

Just as functional programming emphasises writing programs as pure mathematical functions, relational programming emphasises writing programs as pure mathematical relations. We'll briefly explore relational programming, and then see how a simple relational language (microKanren) can easily and succinctly be implemented in Scheme or any other functional language. Feel free to follow along in Scheme or Racket!

About the speaker:

Will Byrd is a scientist at the University of Alabama at Birmingham. His research is on relational programming, functional programming, and applications of computer science to precision medicine. He is also interested in ancient languages and writing, StarCraft, molecular biology, and nanotechnology.

Arrive from 6pm to grab a drink and socialise.