This is a new event cloned from an existing one. Please update the fields, like the time and description.
Export or edit this event...
Export to
This item was added directly to Calagator
Friday, June 11, 2010 at 3:28pm.
Friday, June 11, 2010 at 3:28pm.
Galois Tech Talk: Introducing Well-Founded Recursion
โ
Website
Description
Introducing Well-Founded Recursion Eric Mertens
Implementing recursive functions can be tricky when you want to be certain that they eventually terminate. This talk introduces the concept of well-founded recursion as a tool for implementing recursive functions. It implements these concepts in the Agda programming language and demonstrates the technique by implementing a simple version of Quicksort.