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  13922 reads

Browse archivesActive forum topics
New forum topics

Recent comments
14 hours 12 min ago
19 hours 47 min ago
20 hours 23 min ago
20 hours 42 min ago
1 day 13 hours ago
1 day 14 hours ago
2 days 13 hours ago
2 days 14 hours ago
4 days 22 hours ago
5 days 3 hours ago