Gradual Typing and The Gradually Typed Lambda Calculus

May 30, 2017


Stacey Tay

Hi! I’m Stacey. Welcome to my blog. I’m a software engineer with an interest in programming languages and web performance. I also like making 🍵, reading fiction, and discovering random word origins.