About Wolfgang Jeltsch

I’m passionate about functional programming, logic, type theory, category theory, and more.

A taste of Curry

This Theory Lunch, I gave an introduction to the functional logic programming language Curry. You can find a write-up of my talk on my personal blog.

Advertisements