📄 Gradual Typing and The Gradually Typed Lambda Calculus

Hi! I’m Stacey. Welcome to my blog. I’m a software engineer at Carousell. I like 🍵, books, and discovering random word origins.