Metaprogramming with Dependent Type Theory De Moura, LWednesday 12th July 2017 - 10:00 to 11:00 Podcast website