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 archivesActive forum topics

Recent comments
31 min 15 sec ago
38 min 9 sec ago
1 hour 18 min ago
1 hour 28 min ago
1 hour 44 min ago
2 hours 6 min ago
4 hours 38 min ago
5 hours 11 min ago
5 hours 27 min ago
5 hours 45 min ago