"Understanding TypeScript's Structural Type System" by Drew Colthorp

Strange Loop Conference·37 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Presenters detail vulnerability discovery and exploitation in "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann.

Strange Loop Conference·34 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Engineers explore architecture and security mechanisms for "The design of JavaScript type systems" by Dimitris Vardoulakis.

Strange Loop Conference·36 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Security researchers examine technical aspects of "Aggregator: MapReduce in the type system" by Dan Frank.