Gradual Typing and The Gradually Typed Lambda Calculus

May 30, 2017


Stacey Tay

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.