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