Type Theory Forall

Type Theory much beyond inference rules

Episode image

#23 What is the SIGPLAN?

Jens Palsberg and Jonathan Aldrich

Apr 11th 2024   |  72 min

In this episode we talk about Sigplan, the organization behind the most important conferences and proceedings in our field. What is the SIGPLAN? What exactly does it do? How is it organized? How are things published? To answer these and many other questions we talk with Jens Palsberg, a professor at UCLA, who is the past chair of the SIGPLAN. And also Jonathan Aldrich, a professor at the CMU, who is a member of the ACM publication board.



join our discord