"CodeGen with Types, for Humans, by Humans" by Matthew Griffith (Strange Loop 2022) | Strange Loop Conference | Podwise