Skip to main content
Go to side pane
RetroFed
Communities
Explore
Donate
Log in
Register
Home
Communities
Susam@lemmy.ml
Susam
!susam@lemmy.ml
Sort
Hot
New
Old
Active
Top 12 hours
Top Day
Top Week
Top Month
Top Year
Top All Time
Hot
Top
12 hours
Day
Week
Month
Year
All Time
New
Old
Active
Options
Join
Layout
List
Tile
Wide tile
Content type
Posts
Comments
Apply filters
Invite people to join
Search
About community
Hot
Top
12 hours
Day
Week
Month
Year
All Time
New
Old
Active
Posts
Comments
List
Tile
Wide tile
A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]
(
arxiv.org
)
by
susam
@lemmy.ml
1 year ago
0
comments
1
Programming in Standard ML (Harper, 2011) [PDF]
(
cs.cmu.edu
)
by
susam
@lemmy.ml
2 years ago
0
comments
1
Structure and Interpretation of Computer Programs, 2nd ed. [PDF]
(
web.mit.edu
)
by
susam
@lemmy.ml
2 years ago
0
comments
1
Galois Theory (Tom Leinster, University of Edinburgh)
(
maths.ed.ac.uk
)
by
susam
@lemmy.ml
2 years ago
0
comments
1
Home
Explore
Communities
Search
Login
Voting Options
Upvote (federated)
Upvote (local)
Downvote (local)
Downvote (federated)
Local votes are a bit more private.
Default mode: public.
React with an emoji
RetroFed
