Type Theory Forall - #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
Sign in to continue reading, translating and more.