Gradual Typing and The Gradually Typed Lambda Calculus

Hi! I’m Stacey. Welcome to my technical blog. Outside of computers, I also love brewing Japanese teas 🍵, reading fiction, and discovering random word origins.