awesome-references
Some awesome references
https://github.com/Teinnsei/awesome-references
Last synced: 15 days ago
JSON representation
-
Security
-
Blogs
-
Languages
-
Mathematics
-
Language Comparison
- Mathematics for Computer Science (MIT)
- Mathematics for Computer Science (MIT)
- Homotopy Type Theory
- Why Category Theory Matters ri.io
- Category Theory for Programmers by Bartosz Milewski
- Homotopy (type) theory by Andrej Bauer and Jaka Smrekar at the Faculty of mathematics and Physics
- 2013 Fall: 15-819 Advanced Topics in Programming Languages
-
-
Memory Model
-
General
-
Java MM
- JSR 133 (Java Memory Model) FAQ by Jeremy Manson and Brian Goetz, February 2004
- Java Memory Model Pragmatics (transcript)
- Close Encounters of The Java Memory Model Kind
- Java Language and Virtual Machine Specifications
- Java Memory Model Examples: Good, Bad and Ugly by David Aspinall and Jaroslav Sˇevˇc ́ık
- Java 9 VarHandles Best practices, and why? by Tobi Ajila
- Safe Publication and Safe Initialization in Java by Aleksey Shipilёv
- Java Memory Model Unlearning Experience by Aleksey Shipilёv
-
C++ MM
- Specifying and Verifying Concurrent C Programs with TLA+
- Mathematizing C++ Concurrency: The Post-Rapperswil Model by Mark Batty Scott Owens Susmit Sarkar Peter Sewell Tjark Weber
- P2055R0: A Relaxed Guide to memory_order_relaxed by Hans Boehm, Paul E. McKenney
- A Relaxed Guide to memory_order_relaxed - Paul E. McKenney & Hans Boehm - CppCon 2020
-
Hardware MM
-
-
GUI/UI
-
Games
-
Tools
-
Algorithm
-
Language Comparison
-
Categories
Sub Categories