## 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

3 hours 34 min ago

13 hours 3 min ago

13 hours 42 min ago

13 hours 56 min ago

20 hours 31 min ago

21 hours 33 min ago

22 hours 16 min ago

23 hours 18 min ago

1 day 2 hours ago

1 day 3 hours ago