"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna

Strange Loop Conference·40 min

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

Analysts investigate attack surfaces and defenses concerning "Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013).

Strange Loop Conference·39 min

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

Presenters detail vulnerability discovery and exploitation in "A Little Taste of Dependent Types" by David Christiansen.

Strange Loop Conference·39 min

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

Analysts investigate attack surfaces and defenses concerning "Dependent Types in Haskell" by Stephanie Weirich.