52 posts in total
2023
Paper Reading: Sized Types
Paper Reading: Refinement Types
Paper Reading: How to make ad-hoc polymorphism less ad-hoc
Paper Reading: "Types and Programming Languages" Chapter 22
Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16
Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14
Paper Reading: Bi-directional type checking
Paper Reading: "Types and Programming Languages" Chapter 9 and Chapter 11
2022
Paper Reading: Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing
Paper Reading: Hybrid dynamic data race detection