#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich | Type Theory Forall | Podwise