Publications Teaching Contact Talks Misc   PLT HtDP NW EECS DrScheme PLT Redex TeachScheme! Guide to PLT Contracts Scheme & FP  /  IFL’09  /  OOPSLA’09 In mathematics the art of proposing a question must be held of higher value than solving it. —Georg Cantor