12:11pm PDT - April 5th, 2021
RT @strangeloop_stl: Strange Loop 2019 rewind: "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann https://t.co/OuWFyY…
0 retweets 4 likes - i wish what skee-lo wishes (@zeeshanlakhani)RT @strangeloop_stl: Strange Loop 2019 rewind: "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann https://t.co/OuWFyY…
0 retweets 4 likes - i wish what skee-lo wishes (@zeeshanlakhani)