Category Archives: writing

Binders Unbound

Posted on March 28, 2011 by

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

Back from Baltimore

Posted on October 2, 2010 by

I’m finally back in Philly after attending ICFP, the Haskell Symposium, and the Haskell Implementors’ Workshop in Baltimore. I enjoyed meeting every person I met, so if I met you please feel free to instantiate the universal quantifier. Here’s a … Continue reading →

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

The Haskell Alphabet

Posted on September 18, 2010 by

Here’s a little something I’ve been working on in bits of spare time here and there for the past five months or so: The Haskell Alphabet I seem to recall it was inspired by a conversation in #haskell around the … Continue reading →

Posted in haskell, humor, writing | Tagged , , | 6 Comments

Species and Functors and Types, Oh My!

Posted on August 1, 2010 by

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

Functional pearl on combinatorial species

Posted on April 7, 2010 by

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

Call for submissions: Monad.Reader issue 15

Posted on October 12, 2009 by

I’m excited to be taking over the editorship of the Monad.Reader. I’ll be putting together Issue 15 in January—the deadline for submissions will be January 8, 2010. Please consider writing something! You don’t need to be an expert; past articles … Continue reading →

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

Monad.Reader #13 is out!

Posted on March 16, 2009 by

Issue 13 of the Monad.Reader, which includes a revised version of the Typeclassopedia, is out. This version of the Typeclassopedia contains many updates and revisions. There are also three other great articles in this issue of the Monad.Reader, I hope … Continue reading →

Posted in haskell, teaching, writing | Tagged , , , | 10 Comments

Typeclassopedia — a generic response

Posted on February 17, 2009 by

Thanks for all the fantastic feedback on the Typeclassopedia! Please keep it coming! Such an outpouring of helpful comments and suggestions deserves a response, so I just wanted to write a quick note to say that I am reading every … Continue reading →

Posted in haskell, teaching, writing | Tagged , , | 4 Comments

The Typeclassopedia — request for feedback

Posted on February 16, 2009 by

I have just submitted a draft article for inclusion in the Monad.Reader entitled “The Typeclassopedia”. I will let the abstract speak for itself: The standard Haskell libraries feature a number of type classes with algebraic or categorical underpinnings. Becoming a … Continue reading →

Posted in haskell, teaching, writing | Tagged , , , | 54 Comments

a plea for accountability

Posted on October 29, 2007 by

I really need to be finishing up this NSF graduate fellowship application. Chatting in #haskell is not helping. If you see me in #haskell anytime in the next few days, please have lambdabot slap me with a trout.

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