12:00pm PDT - April 5th, 2021
Strange Loop 2019 rewind: "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann https://t.co/OuWFyYu3kv
7 retweets 4 likes - Strange Loop Conf (@strangeloop_stl)Strange Loop 2019 rewind: "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann https://t.co/OuWFyYu3kv
7 retweets 4 likes - Strange Loop Conf (@strangeloop_stl)