weaselhat

Skip to content
  • Home
  • boolopt
  • Bread
  • MA158
  • PHPEnkoder
  • About/Contact
this website has been archived; new content will appear at https://blog.greenberg.science/

Month: February 2010

Type theory comes of age

12 February 20102010-02-12Michael GreenbergBlog1 Comment

The current issue of the CACM has an article, Type theory comes of age. Not only is my advisor prominently depicted, but they also mention my area of research!

Thanks to Nate Foster for pointing this out to me.

Pages

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

Archives

  • October 2023
  • November 2022
  • June 2022
  • May 2022
  • December 2021
  • September 2021
  • June 2021
  • April 2021
  • January 2021
  • September 2020
  • August 2020
  • May 2020
  • December 2019
  • May 2019
  • April 2019
  • November 2018
  • March 2018
  • October 2017
  • December 2016
  • August 2016
  • April 2016
  • February 2016
  • March 2015
  • February 2015
  • December 2014
  • October 2014
  • July 2014
  • March 2014
  • January 2014
  • December 2013
  • October 2013
  • July 2013
  • November 2012
  • August 2012
  • July 2012
  • 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

CS

  • dave
  • lambda the ultimate
  • phil wadler
  • pl club
  • the little calculist

Misc

  • language log

People

  • benjamin
  • family
  • leo
  • me @ github
  • me @ google scholar
  • me @ last.fm
  • me @ pomona cs
  • me @ smugatarian
  • me @ twitter
  • shriram

Projects

  • flapjax
Copyright 2023 - Theme by Puro