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

15 hours 41 min ago

17 hours 49 min ago

17 hours 54 min ago

18 hours 30 min ago

19 hours 54 min ago

20 hours 53 min ago

3 days 22 hours ago

4 days 7 hours ago

4 days 10 hours ago

4 days 11 hours ago