We demonstrate how to implement a small, shallowly-embedded relational programming language. During our talk, we will live-code a full implementation, in but a handful of lines. We explain both the embedded language's constructs and features requi... Read more
We will give a tour of functional and relational interpreters in Scheme and the logic-programming language miniKanren. We will begin with a traditional interpreter for a Scheme-like language in Scheme, and will ultimately develop an interpreter fo... Read more
Logic programming is a technique applicable to solving a wide variety of tasks in an elegant fashion and makes an attractive addition to any programmer's toolbox. But what if logic programming isn't available in your favorite language? We will sho... Read more
It is an unfortunate fact that there exists still a divide between the logic- and functional-programming communities. This is despite the fact that they are both attempting to achieve similar ends: declarative programming, where we specify what, n... Read more
Claim your profile today and start building your speaker history.
Jason Hemann is a fourth-year doctoral student at Indiana University specializing in programming languages. His interests include functional and constraint-logic programming. He is currently an Associate Instructor for the Programming Languages course at Indiana University.