susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 2 months agoThe Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007)www.lua.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007)www.lua.orgsusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 2 months agomessage-square0linkfedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 3 months agoA Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]arxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]arxiv.orgsusam@lemmy.mlM to Susam@lemmy.mlEnglish · 3 months agomessage-square0linkfedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 7 months agoProgramming Z3plus-squarez3prover.github.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming Z3plus-squarez3prover.github.iosusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 7 months agomessage-square0linkfedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 8 months agoProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.eduexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.edususam@lemmy.mlM to Susam@lemmy.mlEnglish · 8 months agomessage-square0linkfedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 8 months agoStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.eduexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.edususam@lemmy.mlM to Susam@lemmy.mlEnglish · 8 months agomessage-square0linkfedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 8 months agoKeeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)arxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKeeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)arxiv.orgsusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 8 months agomessage-square0linkfedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 8 months agoPEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010)web.archive.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkPEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010)web.archive.orgsusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 8 months agomessage-square0linkfedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 9 months agoCalculus for Beginners and Artistsplus-squaremath.mit.eduexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCalculus for Beginners and Artistsplus-squaremath.mit.edususam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 9 months agomessage-square0linkfedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 9 months agoGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.ukexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.uksusam@lemmy.mlM to Susam@lemmy.mlEnglish · 9 months agomessage-square0linkfedilink
