« Typed type-level programming in Haskell, part III: I can haz typs plz? » Typed type-level programming in Haskell, part IV: collapsing types and kinds

Species and Functors and Types, Oh My!

Posted on August 1, 2010
Tagged , , ,

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 impatient can read the final version here.