Tag Archives: paper

What’s the Difference? video and slides

At ICFP in St. Louis I presented my paper with Kenny Foner, What’s the Difference? A Functional Pearl on Subtracting Bijections. Many people seemed to enjoy the talk and we got lots of great feedback afterwards. We will probably write up … Continue reading

Posted in combinatorics, haskell, writing | Tagged , , , , , , | Leave a comment

New ICFP functional pearl on subtracting bijections

Kenny Foner and I have a paper accepted to ICFP on subtracting bijections. Here’s the basic problem: suppose you have a bijection between two sum types, , and another bijection . Of course and must have the same size, but … Continue reading

Posted in combinatorics, haskell, writing | Tagged , , , , , | 5 Comments

How to print things

I have finally finished up writing my guide on how to print things, based on this blog post from January on my other (math) blog. It specifically enumerates the pros and cons of various methods for printing and reading loose-leaf … Continue reading

Posted in reading | Tagged , , , , , , , , , | 2 Comments

Binders Unbound

Stephanie Weirich, Tim Sheard and I recently submitted a paper to ICFP entitled Binders Unbound. (You can read a draft here.) It’s about our kick-ass, I mean, expressive and flexible library, unbound (note: GHC 7 required), for generically dealing with … Continue reading

Posted in grad school, haskell, projects, writing | Tagged , , , , , | 7 Comments

Species and Functors and Types, Oh My!

My paper on combinatorial species and the species library (an improved version of my previous ICFP submission) has been accepted to the 2010 Haskell Symposium! I look forward to seeing people in Baltimore in September, and in the meantime the … Continue reading

Posted in combinatorics, haskell, math, writing | Tagged , , , , , | 2 Comments