Tag Archives: paper

What’s the Difference? video and slides

Posted on October 20, 2018 by Brent

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 , , , , , , | 2 Comments

New ICFP functional pearl on subtracting bijections

Posted on June 23, 2018 by Brent

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

Posted on May 19, 2016 by Brent

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

Posted on March 28, 2011 by Brent

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!

Posted on August 1, 2010 by Brent

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