125 posts in total

---

2023

03-01

Type-Theoretic Constructs in C++

02-26

Paper Reading: "Types and Programming Languages" Chapter 22

02-20

Displaying Information for Thrown and Caught Exceptions to the User in Python

02-10

Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16

02-05

Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14

01-30

Paper Reading: Bi-directional type checking

01-25

Paper Reading: "Types and Programming Languages" Chapter 9 and Chapter 11

2022

12-31

Date and Time Types in Python

11-27

Paper Reading: Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing

11-23

Paper Reading: Hybrid dynamic data race detection