In February I was at the Lambda Days 2019 conference to give a talk “Function Totality: Abstraction Tool in Programming” and a workshop “Introduction to Dependent Types”. The talk had examples in Haskell and Idris while the workshop was in Agda. Both the talk and the workshop went quite well and I received nice comments for both. I was fortunate to have David Turner and John Hughes at my talk and to have a discussion with them around the topic.
The talk was recorded and if you’re interested in watching it, you can find it available online. Talk slides are available too.
Courtesy of Tomislav Grospić
At the Lambda Zagreb Meetup this Monday I gave a talk on terminating and productive functions. It was an interesting discussion with questions that tied the topic and examples I had with natural numbers, linear types and communicating systems.
Today I’ll be giving a talk on terminating and productive functions as part of the Lambda Zagreb Meetup group. This talk will be very familiar to my upcoming Lambda Days 2019 talk.