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

Browse archives
Active forum topicsNew forum topics 
Recent comments
4 days 17 hours ago
2 weeks 2 days ago
2 weeks 5 days ago
3 weeks 6 days ago
4 weeks 2 days ago
4 weeks 3 days ago
4 weeks 3 days ago
6 weeks 11 hours ago
6 weeks 12 hours ago
7 weeks 5 days ago