Jeremy Gibbons jer_gib@types.pl

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Apologies if I don't notice your follow request for a while.