His work on type theory was remarkable; Hindley-Miler type inference remains one the most elegant things I’ve ever seen. And that was only one of his many contributions to computer science.
Archives
2014
Jan
Feb
Apr
May
Jun
Jul
Aug
Sep
Dec
2013
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Nov
Dec
2012
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2011
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2010
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2009
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2008
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2007
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2006
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2005
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2004
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2003
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2002
Jan
Feb
Mar
Apr
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2001
Jan
Feb
Mar
Apr
May
Jun
Jul
Sep
Oct
Nov
Dec
2000
Jan
Mar
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
1997
Sep
1995
Nov
1993
Oct
1992
Oct
Powered by Movable Type
Appearances
October 6: American University Colloquium on Scholarly Communication
Media
December 3: The Nuances of Threats on Facebook (New Yorker)
December 2: A record label says a Cox customer shared illegal files 54,489 times. Is Cox liable? (Vox)
Nov. 24: In Social-Media Era, When Is Free Speech Illegal? (Wall Street Journal)
October 24: Reversal of Fortunes: What a Recent Appeals Court Ruling Holds for Academic Fair Use (Publishers Weekly)
September 25: Facebook, OkCupid research raises new ethical questions in use of ‘big data’ (Baltimore Sun)
Papers
Three letters about the Facebook emotional manipulation study
Brief of 36 Intellectual Property and Copyright Law Professors as Amicus Curiae, ABC v. Aereo (Supreme Court)
The Cancer of the Internet, Jotwell
What to Do About Google?, Comm. of the ACM, Sept. 2013, at 28
Internet Law: Cases and Problems (3rd ed. 2013)