Tag Archives: difference

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

The divided difference track

My wife and son made a train track corresponding to the regular expression of divided differences, :

Posted in humor | Tagged , , , | Leave a comment