User loginNavigation 
Derivatives and dissections of data typesThe Derivative of a Regular Type is its Type of OneHole Contexts by Conor McBride was mentioned on LtU several times. If you enjoyed it, try a new paper by the same author: More generic programming, more parallels between data types and calculus, more fun. As usual for Conor's paper, it's short and full of (sometimes obscure) humor. Beware of typos, though. 
Browse archives
Active forum topics

Recent comments
5 weeks 6 days ago
10 weeks 1 day ago
11 weeks 5 days ago
11 weeks 5 days ago
14 weeks 3 days ago
19 weeks 18 hours ago
19 weeks 20 hours ago
19 weeks 3 days ago
19 weeks 3 days ago
22 weeks 2 days ago