Learning Programming Theory