About Wolfgang Jeltsch

I am passionate about functional programming, logic, type theory, and category theory. I am the main force behind the Grapefruit project on functional reactive programming (FRP) and its theoretical foundations. I am also interested in typesetting.

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.