## User login## Navigation |
## Derivatives and dissections of data typesThe Derivative of a Regular Type is its Type of One-Hole 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

58 min 29 sec ago

3 hours 53 min ago

4 hours 20 min ago

5 hours 47 min ago

11 hours 23 min ago

11 hours 53 min ago

12 hours 40 min ago

13 hours 12 min ago

14 hours 54 min ago

15 hours 44 min ago