Principles of Programming Languages (POPL)
(brand of PLT)2 × France
1 × Germany
1 × India
2 × Italy
1 × Spain
34 × USA
1 × United Kingdom
108 ×#analysis
107 ×#source code
76 ×#semantics
67 ×#type system
66 ×#logic
61 ×#concurrent
53 ×#compilation
53 ×#programming
49 ×#verification
47 ×#proving
Vocabulary: 1639 words
1734 papers in 47 issues:
- 2020
Proceedings of the 47th Symposium on Principles of Programming Languages (POPL 2020)- 2019
- Proceedings of the 46th Symposium on Principles of Programming Languages (POPL 2019)
- 2018
- Proceedings of the 45th Symposium on Principles of Programming Languages (POPL 2018)
- 2017
- Proceedings of the 44th Symposium on Principles of Programming Languages (POPL 2017)
- 2016
- Proceedings of the 43rd Symposium on Principles of Programming Languages (POPL 2016)
- 2015
- Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL 2015)
- 2014
- Proceedings of the 41st Symposium on Principles of Programming Languages (POPL 2014)
- 2013
- Proceedings of the 40th Annual Symposium on Principles of Programming Languages (POPL 2013)
- 2012
- Proceedings of the 39th Symposium on Principles of Programming Languages (POPL 2012)
- 2011
- Proceedings of the 38th Symposium on Principles of Programming Languages (POPL 2011)
- 2010
- Proceedings of the 37th Symposium on Principles of Programming Languages (POPL 2010)
- 2009
- Proceedings of the 36th Symposium on Principles of Programming Languages (POPL 2009)
- 2008
- Proceedings of the 35th Symposium on Principles of Programming Languages (POPL 2008)
- 2007
- Proceedings of the 34th Symposium on Principles of Programming Languages (POPL 2007)
- 2006
- Proceedings of the 33rd Symposium on Principles of Programming Languages (POPL 2006)
- 2005
- Proceedings of the 32nd Symposium on Principles of Programming Languages (POPL 2005)
- 2004
- Proceedings of the 31st Symposium on Principles of Programming Languages (POPL 2004)
- 2003
- Conference Record of the 30th Symposium on Principles of Programming Languages (POPL 2003)
- 2002
- Conference Record of the 29th Symposium on Principles of Programming Languages (POPL 2002)
- 2001
- Conference Record of the 28th Symposium on Principles of Programming Languages (POPL 2001)
- 2000
- Proceedings of the 27th Symposium on Principles of Programming Languages (POPL 2000)
- 1999
- Proceedings of the 26th Symposium on Principles of Programming Languages (POPL 1999)
- 1998
- Proceedings of the 25th Symposium on Principles of Programming Languages (POPL 1998)
- 1997
- Conference Record of the 24th Symposium on Principles of Programming Languages (POPL 1997)
- 1996
- Conference Record of the 23rd Symposium on Principles of Programming Languages (POPL 1996)
- 1995
- Conference Record of the 22nd Symposium on Principles of Programming Languages (POPL 1995)
- 1994
- Conference Record of the 21st Symposium on Principles of Programming Languages (POPL 1994)
- 1993
- Conference Record of the 20th Annual Symposium on Principles of Programming Languages (POPL 1993)
- 1992
- Conference Record of the 19th Annual Symposium on Principles of Programming Languages (POPL 1992)
- 1991
- Conference Record of the 18th Annual Symposium on Principles of Programming Languages (POPL 1991)
- 1990
- Conference Record of the 17th Annual Symposium on Principles of Programming Languages (POPL 1990)
- 1989
- Conference Record of the 16th Annual Symposium on Principles of Programming Languages (POPL 1989)
- 1988
- Conference Record of the 15th Annual Symposium on Principles of Programming Languages (POPL 1988)
- 1987
- Conference Record of the 14th Annual Symposium on Principles of Programming Languages (POPL 1987)
- 1986
- Conference Record of the 13th Annual Symposium on Principles of Programming Languages (POPL 1986)
- 1985
- Conference Record of the 12th Annual Symposium on Principles of Programming Languages (POPL 1985)
- 1984
- Conference Record of the 11th Annual Symposium on Principles of Programming Languages (POPL 1984)
- 1983
- Conference Record of the 10th Annual Symposium on Principles of Programming Languages (POPL 1983)
- 1982
- Conference Record of the Ninth Annual Symposium on Principles of Programming Languages (POPL 1982)
- 1981
- Conference Record of the Eighth Annual Symposium on Principles of Programming Languages (POPL 1981)
- 1980
- Conference Record of the Seventh Annual Symposium on Principles of Programming Languages (POPL 1980)
- 1979
- Conference Record of the Sixth Annual Symposium on Principles of Programming Languages (POPL 1979)
- 1978
- Conference Record of the Fifth Annual Symposium on Principles of Programming Languages (POPL 1978)
- 1977
- Conference Record of the Fourth Symposium on Principles of Programming Languages (POPL 1977)
- 1976
- Conference Record of the Third Symposium on Principles of Programming Languages (POPL 1976)
- 1975
- Conference Record of the Second Symposium on Principles of Programming Languages (POPL 1975)
- 1973
- Conference Record of the First Symposium on Principles of Programming Languages (POPL 1973)
1 × Germany
1 × India
2 × Italy
1 × Spain
34 × USA
1 × United Kingdom
108 ×#analysis
107 ×#source code
76 ×#semantics
67 ×#type system
66 ×#logic
61 ×#concurrent
53 ×#compilation
53 ×#programming
49 ×#verification
47 ×#proving
Vocabulary: 1639 words
Proceedings of the 47th Symposium on Principles of Programming Languages (POPL 2020)Proceedings of the 46th Symposium on Principles of Programming Languages (POPL 2019)Proceedings of the 45th Symposium on Principles of Programming Languages (POPL 2018)Proceedings of the 44th Symposium on Principles of Programming Languages (POPL 2017)Proceedings of the 43rd Symposium on Principles of Programming Languages (POPL 2016)Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL 2015)Proceedings of the 41st Symposium on Principles of Programming Languages (POPL 2014)Proceedings of the 40th Annual Symposium on Principles of Programming Languages (POPL 2013)Proceedings of the 39th Symposium on Principles of Programming Languages (POPL 2012)Proceedings of the 38th Symposium on Principles of Programming Languages (POPL 2011)Proceedings of the 37th Symposium on Principles of Programming Languages (POPL 2010)Proceedings of the 36th Symposium on Principles of Programming Languages (POPL 2009)Proceedings of the 35th Symposium on Principles of Programming Languages (POPL 2008)Proceedings of the 34th Symposium on Principles of Programming Languages (POPL 2007)Proceedings of the 33rd Symposium on Principles of Programming Languages (POPL 2006)Proceedings of the 32nd Symposium on Principles of Programming Languages (POPL 2005)Proceedings of the 31st Symposium on Principles of Programming Languages (POPL 2004)Conference Record of the 30th Symposium on Principles of Programming Languages (POPL 2003)Conference Record of the 29th Symposium on Principles of Programming Languages (POPL 2002)Conference Record of the 28th Symposium on Principles of Programming Languages (POPL 2001)Proceedings of the 27th Symposium on Principles of Programming Languages (POPL 2000)Proceedings of the 26th Symposium on Principles of Programming Languages (POPL 1999)Proceedings of the 25th Symposium on Principles of Programming Languages (POPL 1998)Conference Record of the 24th Symposium on Principles of Programming Languages (POPL 1997)Conference Record of the 23rd Symposium on Principles of Programming Languages (POPL 1996)Conference Record of the 22nd Symposium on Principles of Programming Languages (POPL 1995)Conference Record of the 21st Symposium on Principles of Programming Languages (POPL 1994)Conference Record of the 20th Annual Symposium on Principles of Programming Languages (POPL 1993)Conference Record of the 19th Annual Symposium on Principles of Programming Languages (POPL 1992)Conference Record of the 18th Annual Symposium on Principles of Programming Languages (POPL 1991)Conference Record of the 17th Annual Symposium on Principles of Programming Languages (POPL 1990)Conference Record of the 16th Annual Symposium on Principles of Programming Languages (POPL 1989)Conference Record of the 15th Annual Symposium on Principles of Programming Languages (POPL 1988)Conference Record of the 14th Annual Symposium on Principles of Programming Languages (POPL 1987)Conference Record of the 13th Annual Symposium on Principles of Programming Languages (POPL 1986)Conference Record of the 12th Annual Symposium on Principles of Programming Languages (POPL 1985)Conference Record of the 11th Annual Symposium on Principles of Programming Languages (POPL 1984)Conference Record of the 10th Annual Symposium on Principles of Programming Languages (POPL 1983)Conference Record of the Ninth Annual Symposium on Principles of Programming Languages (POPL 1982)Conference Record of the Eighth Annual Symposium on Principles of Programming Languages (POPL 1981)Conference Record of the Seventh Annual Symposium on Principles of Programming Languages (POPL 1980)Conference Record of the Sixth Annual Symposium on Principles of Programming Languages (POPL 1979)Conference Record of the Fifth Annual Symposium on Principles of Programming Languages (POPL 1978)Conference Record of the Fourth Symposium on Principles of Programming Languages (POPL 1977)Conference Record of the Third Symposium on Principles of Programming Languages (POPL 1976)Conference Record of the Second Symposium on Principles of Programming Languages (POPL 1975)Conference Record of the First Symposium on Principles of Programming Languages (POPL 1973)