Change 3147

Time Attribute with previous and current values
Change #3147
2010-06-11
15:28:17

create Calagator::Event 1250458768 Galois Tech Talk: Introducing Well-Founded Recursion Roll back

description nil → 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.
end_time nil → 2010-06-15 11:30:00 -0700
id nil → 1250458768
start_time nil → 2010-06-15 10:30:00 -0700
title nil → Galois Tech Talk: Introducing Well-Founded Recursion
url nil → http://www.galois.com/blog/2010/06/11/tech-talk-introducing-well-founded-recursion/
venue_id nil → 202390439