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

Browse archivesActive forum topics
New forum topics

Recent comments
2 min 34 sec ago
1 hour 23 min ago
1 hour 27 min ago
4 hours 50 min ago
4 hours 55 min ago
5 hours 1 min ago
5 hours 15 min ago
5 hours 17 min ago
5 hours 19 min ago
5 hours 22 min ago