Archives

Recent Articles

• Rearranging equations using a zipper
  July 10, 2014
• Automatic SIMD Vectorization for Haskell and ICFP 2013
  October 14, 2013
• The Four Rs of Programming Language Design (revisited)
  February 29, 2012
• Subcategories & “Exofunctors” in Haskell
  October 18, 2011
• Constraint kinds in Haskell, finally bringing us constraint families
  September 22, 2011

Months

• July 2014 (1)
• October 2013 (1)
• February 2012 (1)
• October 2011 (1)
• September 2011 (1)
• March 2011 (1)
• November 2009 (1)
• September 2009 (1)
• April 2009 (1)
• February 2009 (1)

Categories

• haskell (4)
• maths (2)
• paper (3)
• programming languages (4)
• Slides (1)
• Uncategorized (1)

Tags

• category theory
• comonads
• compilers
• constraints
• DSLs
• edsl
• fractals
• functional programming
• Haskell
• language design
• lucian
• lucid
• maths
• parallel
• subcategories
• types
• vectorization
• ypnos