susamMEnglish · 3 months agoProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.edususamMEnglish · 3 months agomessage-square0fedilink
susamMEnglish · 4 months agoStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.edususamMEnglish · 4 months agomessage-square0fedilink
susamMEnglish · 5 months agoGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.ukexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.uksusamMEnglish · 5 months agomessage-square0fedilink