Tag Archives: combinatorial species

And now, back to your regularly scheduled combinatorial species

Posted on October 17, 2012 by Brent

I’ve already mentioned this to people here and there, but haven’t yet announced it publically, so here it is: Stephanie Weirich and I have been awarded a grant from the NSF to study the intersection of combinatorial species and (functional) … Continue reading →

Posted in combinatorics, math, writing | Tagged , | 10 Comments

Functional pearl on combinatorial species

Posted on April 7, 2010 by Brent

I’ve just submitted a Functional Pearl to ICFP explaining combinatorial species in a way that is (hopefully) accessible and interesting to functional programmers. You can read the draft here — as always, comments, suggestions, etc. are welcome (although it’s too … Continue reading →

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

Species operations: differentiation

Posted on August 5, 2009 by Brent

Continuing my series describing my new combinatorial species library, today we’ll take a look at the operation of differentiation. You may remember that the Species type class has an Algebra.Differential constraint, which, as I previously explained, transitively implies an Algebra.Ring … Continue reading →

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

Primitive species and species operations, part II

Posted on July 31, 2009 by Brent

In my previous post, I began describing the primitive species and species operations supported by my combinatorial species library; we looked at the ring structure on species, that is, the primitive species and , and the operations of species sum … Continue reading →

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

Primitive species and species operations

Posted on July 30, 2009 by Brent

In this second post about my new combinatorial species library, I plan to begin writing about the species DSL itself: what are the primitive combinatorial species and the primitive operations on species? (The first post described the concept of combinatorial … Continue reading →

Posted in combinatorics, haskell, math | Tagged , , , | 3 Comments

Introducing Math.Combinatorics.Species!

Posted on July 24, 2009 by Brent

I have just uploaded to Hackage version 0.1 of the species package, a Haskell library for computing with combinatorial species. Much like David Amos’s great series of posts introducing his Haskell for Maths library, I plan to write a series … Continue reading →

Posted in combinatorics, haskell, math, projects | Tagged , | 14 Comments