susam@lemmy.mlMEnglish · 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.edususam@lemmy.mlMEnglish · 3 months agomessage-square0fedilink
susam@lemmy.mlMEnglish · 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.edususam@lemmy.mlMEnglish · 4 months agomessage-square0fedilink
susam@lemmy.mlMEnglish · 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.uksusam@lemmy.mlMEnglish · 5 months agomessage-square0fedilink