It seems there is no point in keeping personal lists of papers any more. Google, ResearchGate, Academia, DBLP and the like are doing a better job. This page now only contains unpublished material. Email me if you can't get a hold of a paper.
|Flipping Pebbles||amazing editor's decision|
|Inferring Automatic Sequences||draft|
|The Lattice of beta-r.e. Sets||long draft|
|Introductory Computer Science Education at CMU||CMU-CS-10-140|