Gave a Talk: Terminating and Productive Functions

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.

After the talk I slightly reworked the slides. You can get them and code examples if you are interested: download.

Courtesy of Tomislav Grospić

Leave a Reply

Your email address will not be published. Required fields are marked *

IMPORTANT! To be able to proceed, you need to solve the following simple math (so we know that you are a human) :-)

What is (10 + 6] + 200?
Please leave these three fields as-is: