bishboria

Sabbatical plans

For the forseeable future, or until money runs out, I'll be on sabbatical. I've got a rough plan, as follows:

Help out with GHC
Attend Agda Implementors’ Meeting
Work through Software Foundations
Work through Types and Programming Languages
Work through Modern Compiler Implementation in ML
Attend Midlands Graduate School
Attend Oregon Summer School
Being overwhelmed with anything else that I find interesting

If you think I could do more, or know of better learning material, let me know on the usual channels.