šŸ“„ 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.

Ā© 2023 Stacey Tay