weaselhat

Links

• Home
• RSS

Archives

• February 2012
• October 2011
• March 2011
• February 2011
• January 2011
• October 2010
• May 2010
• March 2010
• February 2010
• January 2010
• November 2009
• September 2009
• August 2009
• July 2009
• May 2009
• April 2009
• March 2009
• February 2009
• January 2009
• October 2008
• July 2008
• June 2008
• February 2008
• January 2008
• December 2007
• November 2007
• August 2007
• April 2007
• March 2007
• February 2007
• January 2007
• December 2006
• November 2006
• October 2006
• August 2006
• July 2006
• June 2006

Categories

• Blog (8)
• Crosswords (2)
• Flapjax (7)
• Formal Methods (3)
• JavaScript (7)
• Papers (3)
• Presentations (1)
• Programming Languages (29)
• Software (24)
• Submissions (3)
• Temporal Logic and Verification (1)

• Pages

  • boolopt
  • Bread
  • MA158
  • PHPEnkoder
  • About/Contact

• CS

  • a neighborhood of infinity
  • lambda the ultimate
  • phil wadler
  • pl club
  • room 101
  • the little calculist

• Misc

  • language log

• People

  • benjamin
  • family
  • jonah
  • leo
  • me @ last.fm
  • me @ phillyfoodie
  • me @ twitter
  • me @ upenn cis
  • shriram

• Projects

  • boomerang
  • flapjax