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.
Author Archives: Wolfgang Jeltsch
MIU in Haskell, part 2
Today, I presented a Haskell program that computes derivations in the MIU formal system from Douglas Hofstadter’s MU puzzle. I have posted a write-up of my talk on my personal blog.
The Constraint kind
I talked about the
Constraint kind, a recent addition to Haskell. There is a write-up of my talk on my personal blog.
Some interesting features of Haskell’s type system
I talked about some of Haskell’s type system features. You can find a write-up of my talk on my personal blog.
What is the correct definition of ideal monads?
This was the third and final lunch in my series about ideal monads. I talked about how to define ideal monads correctly. My talk was based on a discussion with Tarmo Uustalu. Continue reading
An introduction to ideal monads
Based on my recap of monads from the week before, I talked about ideal monads. Continue reading
A short recap of monads
I used the first theory lunch meeting at the Institute of Cybernetics to recap some basics about monads. I discussed how monads are defined in category theory, and how they are implemented in Haskell. Continue reading