susam

joined 3 years ago
MODERATOR OF
susam
bitwise
sorted by: new top controversial old
1
The Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007) (www.lua.org)
1
A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF] (arxiv.org)
1
Programming Z3 (z3prover.github.io)
1
Programming in Standard ML (Harper, 2011) [PDF] (www.cs.cmu.edu)
1
Structure and Interpretation of Computer Programs, 2nd ed. [PDF] (web.mit.edu)
1
Keeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019) (arxiv.org)
1
PEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010) (web.archive.org)
1
Calculus for Beginners and Artists (math.mit.edu)
1
Galois Theory (Tom Leinster, University of Edinburgh) (www.maths.ed.ac.uk)