User loginNavigation 
DependentlyTyped Metaprogramming (in Agda)Conor McBride gave an 8lecture summer course on Dependently typed metaprogramming (in Agda) at the Cambridge University Computer Laboratory:
The lecture notes, code, and video captures are available online. As with his previous course, the notes contain many(!) mind expanding exploratory exercises, some of which quite challenging. By Ohad Kammar at 20130830 07:34  Category Theory  Functional  Lambda Calculus  MetaProgramming  Paradigms  Semantics  Teaching & Learning  Theory  Type Theory  other blogs  11248 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
2 hours 39 min ago
7 hours 48 min ago
14 hours 16 min ago
1 day 2 hours ago
1 day 7 hours ago
1 day 7 hours ago
1 day 9 hours ago
1 day 11 hours ago
1 day 14 hours ago
1 day 16 hours ago