Susam

22 readers
1 users here now

Technology, computation, programming, and mathematics links curated by susam.

Topics

Online Presence

founded 2 years ago
MODERATORS
susam@lemmy.ml
listing: all - local
1
1
A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF] (arxiv.org)
submitted 1 year ago by susam@lemmy.ml to c/susam@lemmy.ml
0 comments fedilink
2
1
Programming in Standard ML (Harper, 2011) [PDF] (www.cs.cmu.edu)
submitted 2 years ago by susam@lemmy.ml to c/susam@lemmy.ml
0 comments fedilink
3
1
Structure and Interpretation of Computer Programs, 2nd ed. [PDF] (web.mit.edu)
submitted 2 years ago by susam@lemmy.ml to c/susam@lemmy.ml
0 comments fedilink
4
1
Galois Theory (Tom Leinster, University of Edinburgh) (www.maths.ed.ac.uk)
submitted 2 years ago by susam@lemmy.ml to c/susam@lemmy.ml
0 comments fedilink