Shriram's and Matthias's citations now appear to actually be on the web! (And maybe it was there before but I didn't find it until now.)
http://www.sigplan.org/Awards/Milner/2012 http://www.sigplan.org/Awards/Achievement/2012 Congrats, Matthias! Congrats, Shriram! Robby ____________________ Racket Users list: http://lists.racket-lang.org/users
