stacey tay

๐Ÿ“„ 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 at Carousell. I like ๐Ÿต, books, and discovering random word origins.