45 posts in total
2024
Paper Reading: Asynchronous Functional Reactive Programming for GUIs (The Elm Paper)
2023
Strategies, Tactics, and Mindset Learned from "The Ph.D. Grind"
Sarah Chasins' Works on PL and HCI
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