Instance: lemmy.ml Joined: 4 years ago Posts: 9 Comments: 0
RSS feed
Local votes are a bit more private.
Default mode: public.
RetroFed
bitwise
susam
The Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007) (lua.org)
A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF] (arxiv.org)
Programming Z3 (z3prover.github.io)
Programming in Standard ML (Harper, 2011) [PDF] (cs.cmu.edu)
Structure and Interpretation of Computer Programs, 2nd ed. [PDF] (web.mit.edu)
Keeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019) (arxiv.org)
PEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010) (web.archive.org)
Calculus for Beginners and Artists (math.mit.edu)
Galois Theory (Tom Leinster, University of Edinburgh) (maths.ed.ac.uk)