Posts tagged "paper"
- What’s the Difference? video and slides - October 20, 2018
- New ICFP functional pearl on subtracting bijections - June 23, 2018
- How to print things - May 19, 2016
- Binders Unbound - March 29, 2011
- Species and Functors and Types, Oh My! - August 1, 2010