TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Back to Profile
Submissions by Hirrolot
1
x86 Opcode and Instruction Reference
3 points
by
Hirrolot
over 2 years ago
no comments
2
Barebones Lambda Cube in OCaml
3 points
by
Hirrolot
almost 3 years ago
no comments
3
Checking Dependent Types with Normalization by Evaluation: A Tutorial
4 points
by
Hirrolot
almost 3 years ago
no comments
4
“Lambda Calculus” by Carl Burch, Hendrix College, September 2012
2 points
by
Hirrolot
almost 3 years ago
no comments
5
Some Internet Architectural Guidelines and Philosophy (2002)
1 points
by
Hirrolot
almost 3 years ago
no comments
← Previous
Next →