interested in sml ppl can find stuff here, i think these are the new cmu courses noob - 15-150 intermediate - 15-210 advanced - 15-411 might have to email somebody at cmu to get the lecture notes dump