ACM-SIGACT编程语言原理研讨会（POPL）
第51届POPL 2024：英国伦敦
第50届POPL 2023：美国马萨诸塞州波士顿
第49届POPL 2022：美国宾夕法尼亚州费城
第48届POPL 2021：在线
第47届POPL 2020：美国洛杉矶新奥尔良
2019年第46届POPL：葡萄牙卡斯凯斯
2018年第45届POPL：美国加利福尼亚州洛杉矶
2017年第44届POPL：法国巴黎
朱塞佩·卡斯塔尼亚 
, 安德鲁·戈登 :
2017年1月18日至20日，法国巴黎，第44届ACM SIGPLAN编程语言原理研讨会会议记录，POPL 2017。 ACM公司 2017 ，十亿 978-1-4503-4660-3 [目录]
2016年第43届POPL：美国佛罗里达州圣彼得堡
拉斯蒂斯拉夫·博迪克 , 鲁帕克·马朱姆达尔 :
2016年1月20日至22日，美国佛罗里达州圣彼得堡，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL 2016。 ACM公司 2016 ，十亿 978-1-4503-3549-2 [目录]
第42届POPL 2015：印度孟买
斯里拉姆·拉贾马尼 , 大卫·沃克 :
2015年1月15日至17日，印度孟买，2015年POPL，第42届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。 ACM公司 2015 ，十亿 978-1-4503-3300-9 [目录] 编程语言指导研讨会论文集， POPL的PLMW 2015年1月14日，印度孟买。 ACM公司 2015 ，十亿 978-1-4503-3299-6 [目录]
2014年第41届POPL：美国加利福尼亚州圣地亚哥
苏雷什·贾甘纳森 , 彼得·苏厄尔 :
2014年1月20日至21日，第41届ACM SIGPLAN-SIGACT编程语言原理年度研讨会，POPL’14，美国加利福尼亚州圣地亚哥。 ACM公司 2014 ，十亿 978-1-4503-2544-8 [目录] 苏雷什·贾甘纳森 , 彼得·苏厄尔 :
2014年第三届ACM SIGPLAN计划保护与逆向工程研讨会论文集，PPREW 2014，2014年1月25日，美国加利福尼亚州圣地亚哥。 ACM公司 2014 ，十亿 978-1-4503-2649-0 [目录]
2013年第40届POPL：意大利罗马
罗伯托·贾科巴齐 , 拉迪娅·库索 :
第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会，2013年1月23日至25日，意大利罗马，POPL’13。 ACM公司 2013 ，十亿 978-1-4503-1832-7 [目录] 伊芙琳·维加斯 , 卡琳·K·布莱特曼 , 朱迪思·毕晓普 :
2013年数据驱动函数编程研讨会论文集，2013年DDFP，意大利罗马，2013年1月22日。 ACM公司 2013 ，十亿 978-1-4503-1871-6 [目录] 杰弗里·托德·麦克唐纳 , 米拉·达拉·普雷达 :
2013年第二届ACM SIGPLAN项目保护和逆向工程研讨会会议记录， PPREW@流行 2013年1月26日，意大利罗马。 ACM公司 2013 ，十亿 978-1-4503-1857-0 [目录]
2012年第39届POPL：美国宾夕法尼亚州费城
约翰·菲尔德 , 迈克尔·希克斯 :
2012年1月22日至28日，美国宾夕法尼亚州费城，第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2012年POPL。 ACM公司 2012 ，十亿 978-1-4503-1083-3 [目录]
第38届POPL 2011：美国德克萨斯州奥斯汀
托马斯·鲍尔 , 穆利·萨吉夫 :
第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2011年POPL，美国德克萨斯州奥斯汀，2011年1月26-28日。 ACM公司 2011 ，十亿 978-1-4503-0490-0 [目录] 斯蒂芬妮·威里奇 , 德里克·德雷尔 :
2011年1月25日于美国德克萨斯州奥斯汀举行的2011年ACM SIGPLAN语言设计与实现类型国际研讨会论文集。 ACM公司 2011 ，十亿 978-1-4503-0484-9 [目录]
2010年第37届POPL：西班牙马德里
曼纽尔·埃尔梅内吉尔多 , 延斯·帕尔斯伯格 :
2010年1月17日至23日，西班牙马德里，第37届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL 2010。 ACM公司 2010 ，十亿 978-1-60558-479-9 [目录]
第36届POPL 2009：美国佐治亚州萨凡纳
钟绍 , 本杰明·皮尔斯 :
2009年1月21日至23日，美国佐治亚州萨凡纳，第36届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2009。 ACM公司 2009 ，十亿 978-1-60558-379-2 [目录]
第35届POPL 2008：美国加利福尼亚州旧金山
乔治·C·内库拉 , 菲利普·沃德勒 :
第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2008，美国加利福尼亚州旧金山，2008年1月7日至12日。 ACM公司 2008 ，十亿 978-1-59593-689-9 [目录]
第34届POPL 2007：法国尼斯
马丁·霍夫曼 , 马提亚斯·费莱森 :
第34届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL 2007，法国尼斯，2007年1月17日至19日。 ACM公司 2007 ，十亿 1-59593-575-4 [目录]
第33届POPL 2006：美国南卡罗来纳州查尔斯顿
J.格雷戈里·莫里塞特 , 西蒙·L·佩顿·琼斯 :
2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。 ACM公司 2006 ，十亿 1-59593-027-2 [目录]
2005年第32届POPL：美国加利福尼亚州长滩
延斯·帕尔斯伯格 , 马丁·阿巴迪 :
第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2005，美国加利福尼亚州长滩，2005年1月12-14日。 ACM公司 2005 ，十亿 1-58113-830-X号 [目录] 凯瑟琳·梅多斯 :
2005年1月10日至11日，美国加利福尼亚州长滩，2005年WITS，POPL 2005安全理论问题研讨会会议记录。 ACM公司 2005 ，十亿 1-58113-980-2 [目录]
2004年第31届POPL：意大利威尼斯
尼尔·D·琼斯 , 泽维尔·勒罗伊 :
第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2004年1月14日至16日，意大利威尼斯，POPL 2004。 ACM公司 2004 ，十亿 1-58113-729-X号 [目录]
第30届POPL 2003：美国洛杉矶新奥尔良
亚历克斯·艾肯 , 格雷格·莫里塞特 :
POPL 2003会议记录：第30届SIGPLAN-SIGCT编程语言原理研讨会，新奥尔良，美国路易斯萨纳，2003年1月15日至17日。 ACM公司 2003 ，十亿 1-58113-628-5 [目录]
2002年第29届POPL：美国俄勒冈州波特兰
约翰·朗彻伯里 , 约翰·米切尔 :
2002年POPL会议记录：第29届SIGPLAN-SIGACT编程语言原理研讨会，波特兰，俄勒冈州，美国，2002年1月16-18日。 ACM公司 2002 ，十亿 1-58113-450-9 [目录]
第28届POPL 2001：英国伦敦
克里斯·汉金 , 戴夫·施密特 :
POPL 2001会议记录：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会，英国伦敦，2001年1月17日至19日。 ACM公司 2001 ，十亿 1-58113-336-7 [目录]
第27届POPL 2000：美国马萨诸塞州波士顿
马克·韦格曼 , 托马斯·W·代表 :
POPL 2000，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，美国马萨诸塞州波士顿，2000年1月19-21日。 ACM公司 2000 ，十亿 1-58113-125-9 [目录]
第26届POPL 1999：美国德克萨斯州圣安东尼奥
安德鲁·W·阿佩尔 , 亚历克斯·艾肯 :
POPL’99，第26届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，美国德克萨斯州圣安东尼奥，1999年1月20日至22日。 ACM公司 1999 ，十亿 1-58113-095-3 [目录]
第25届POPL 1998：美国加利福尼亚州圣地亚哥
大卫·B·麦昆 , 鲁卡·凯德利 :
POPL’98，第25届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，美国加利福尼亚州圣地亚哥，1998年1月19-21日。 ACM公司 1998 ，十亿 0-89791-979-3 [目录]
1997年第24届POPL：法国巴黎
李忠琛 , 弗里茨·亨利恩 , 尼尔·D·琼斯 :
1997年POPL会议记录：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会，1997年1月15日至17日在法国巴黎举行的研讨会上发表的论文。 美国计算机协会出版社 1997 ，十亿 0-89791-853-3 [目录]
第23届POPL 1996：美国佛罗里达州圣彼得堡海滩
汉斯·尤根·博姆 , 盖伊·斯蒂尔（Guy L.Steele Jr.）。 :
1996年1月21日至24日在美国佛罗里达州圣彼得堡海滩举行的第23届ACM SIGPLAN-SIGACT编程语言原理研讨会上发表的论文。 美国计算机协会出版社 1996 ，十亿 0-89791-769-3 [目录]
1995年第22届POPL：美国加利福尼亚州旧金山
罗恩·凯特隆 , 李忠琛 :
1995年1月23日至25日，美国加利福尼亚州旧金山，第22届ACM SIGPLAN-SIGACT编程语言原理研讨会，POPL'95:会议记录。 美国计算机协会出版社 1995 ，十亿 0-89791-692-1 [目录]
第21届POPL 1994：美国俄勒冈州波特兰
汉斯·尤根·博姆 , 伯纳德·朗 , 丹尼尔·M·耶林 :
1994年1月17日至21日，美国俄勒冈州波特兰市，第21届ACM SIGPLAN-SIGACT编程语言原理研讨会，POPL'94会议记录。 美国计算机协会出版社 1994 ，十亿 0-89791-636-0 [目录] 珍妮特·温格（Jeannette M.Wing） , 理查德·韦克塞尔布拉特（Richard L.Wexelblat） :
《接口定义语言研讨会论文集》，1994年1月20日，美国俄勒冈州波特兰市，与POPL1994联合举办。 美国计算机协会出版社 1994 [目录]
第20届POPL 1993：美国南卡罗来纳州查尔斯顿
玛丽·范·德森 , 伯纳德·朗 :
1993年1月于美国南卡罗来纳州查尔斯顿举行的第二十届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。 美国计算机协会出版社 1993 ，十亿 0-89791-560-7 [目录]
1992年第19届持久性有机污染物大会：美国新墨西哥州阿尔伯克基
拉维·塞蒂 :
1992年1月19日至22日在美国新墨西哥州阿尔伯克基举行的第十九届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。 美国计算机协会出版社 1992 ，十亿 0-89791-453-8 [目录]
第18届POPL 1991：美国佛罗里达州奥兰多
1990年第17次POPL：美国加利福尼亚州旧金山
第16届POPL 1989：美国德克萨斯州奥斯汀
1989年1月11日至13日在美国德克萨斯州奥斯汀举行的第十六届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1989 ，十亿 0-89791-294-2 [目录]
第15届POPL 1988：美国加利福尼亚州圣地亚哥
珍妮·费兰特 , 彼得·马格尔 :
1988年1月10日至13日在美国加利福尼亚州圣地亚哥举行的第十五届ACM编程语言原理年会会议记录。 美国计算机协会出版社 1988 ，十亿 0-89791-252-7 [目录]
1987年第14届POPL：德国慕尼黑
1987年1月21日至23日在德国慕尼黑举行的第十四届ACM编程语言原则年度研讨会的会议记录。 美国计算机协会出版社 1987 ，十亿 0-89791-215-2 [目录]
第13届POPL 1986：美国佛罗里达州圣彼得堡海滩
1986年1月于美国佛罗里达州圣彼得堡海滩举行的第十三届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1986 [目录]
第12届POPL 1985：美国路易斯安那州新奥尔良
玛丽·范·德森 , 兹维·郭历理 , 布莱恩·雷德 :
1985年1月于美国路易斯安那州新奥尔良举行的第十二届美国计算机学会编程语言原理研讨会会议记录。 美国计算机协会出版社 1985 ，十亿 0-89791-147-4 [目录]
第11届POPL 1984：美国犹他州盐湖城
肯·肯尼迪 , 玛丽·范·德森 , 拉里·兰德韦伯 :
第十一届ACM编程语言原理年度研讨会会议记录，美国犹他州盐湖城，1984年1月。 美国计算机协会出版社 1984 ，十亿 0-89791-125-3 [目录]
第十届POPL 1983：美国德克萨斯州奥斯汀
约翰·赖特 , 拉里·兰德韦伯 , 艾伦·J·德默斯 , 蒂姆·泰特鲍姆 :
第十届美国计算机学会编程语言原理年会会议记录，美国德克萨斯州奥斯汀，1983年1月。 美国计算机协会出版社 1983 ，十亿 0-89791-090-7 [目录] POPL:前十年，《1973-1983年会议纪要》，光盘。 ACM公司 1997 ，十亿 0-89791-947-5 [目录]
第九届POPL 1982：美国新墨西哥州阿尔伯克基
第八届POPL 1981：美国弗吉尼亚州威廉斯堡
约翰·怀特 , 理查德·利普顿 , 帕特里夏·C·戈德堡 :
1981年1月于美国弗吉尼亚州威廉斯堡举行的第八届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1981 ，十亿 0-89791-029-X号 [目录]
第七届POPL 1980：美国内华达州拉斯维加斯
保罗·W·亚伯拉罕 , 理查德·利普顿 , 斯蒂芬·R·伯恩 :
1980年1月于美国内华达州拉斯维加斯举行的第七届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1980 ，十亿 0-89791-011-7 [目录]
第六届POPL 1979：美国德克萨斯州圣安东尼奥
阿尔弗雷德·V·阿霍 , 斯蒂芬·N·齐尔斯 , 巴里·罗森 :
1979年1月于美国德克萨斯州圣安东尼奥举行的第六届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1979 [目录]
第五届POPL 1978：美国亚利桑那州图森
阿尔弗雷德·V·阿霍 , 斯蒂芬·齐勒斯 , 托马斯·席曼斯基 :
1978年1月于美国亚利桑那州图森市举行的第五届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1978 [目录]
1977年第四届POPL：美国加利福尼亚州洛杉矶
1976年第三届POPL：美国乔治亚州亚特兰大
苏珊·L·格雷厄姆 , 罗伯特·格雷厄姆 , 迈克尔·哈里森 , 威廉·格罗斯基 , 杰弗里·D·厄尔曼 :
第三届美国计算机学会编程语言原理研讨会会议记录，美国佐治亚州亚特兰大，1976年1月。 美国计算机协会出版社 1976 [目录]
1975年第二届POPL：美国加利福尼亚州帕洛阿尔托
1973年第1届POPL：美国马萨诸塞州波士顿
