40. POPL 2013: Rome, Italy

• 
  Roberto Giacobazzi, Radhia Cousot (Eds.): The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013 ISBN 978-1-4503-1832-7 [ contents ]
• 
  Elvira Albert, Shin-Cheng Mu (Eds.): Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. ACM 2013 ISBN 978-1-4503-1842-6 [ contents ]
• 
  Matthew Might, David Van Horn, Andreas Abel, Tim Sheard (Eds.): Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM 2013 ISBN 978-1-4503-1860-0 [ contents ]
• 
  Evelyne Viegas, Karin Breitman, Judith Bishop (Eds.): Proceedings of the 2013 Workshop on Data Driven Functional Programming, DDFP 2013, Rome, Italy, January 22, 2013. ACM 2013 ISBN 978-1-4503-1871-6 [ contents ]

39. POPL 2012: Philadelphia, Pennsylvania, USA

• 
  John Field, Michael Hicks (Eds.): Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. ACM 2012 ISBN 978-1-4503-1083-3 [ contents ]
• 
  Oleg Kiselyov, Simon Thompson (Eds.): Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. ACM 2012 ISBN 978-1-4503-1118-2 [ contents ]
• 
  Koen Claessen, Nikhil Swamy (Eds.): Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM 2012 ISBN 978-1-4503-1125-0 [ contents ]
• 
  Umut A. Acar, Vítor Santos Costa (Eds.): Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012 ISBN 978-1-4503-1117-5 [ contents ]

38. POPL 2011: Austin, TX, USA

• 
  Thomas Ball, Mooly Sagiv (Eds.): Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. ACM 2011 ISBN 978-1-4503-0490-0 [ contents ]
• 
  Manuel Carro, John H. Reppy (Eds.): Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011. ACM 2011 ISBN 978-1-4503-0486-3 [ contents ]
• 
  Siau-Cheng Khoo, Jeremy G. Siek (Eds.): Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. ACM 2011 ISBN 978-1-4503-0485-6 [ contents ]
• 
  Ranjit Jhala, Wouter Swierstra (Eds.): Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM 2011 ISBN 978-1-4503-0487-0 [ contents ]
• 
  Stephanie Weirich, Derek Dreyer (Eds.): Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011. ACM 2011 ISBN 978-1-4503-0484-9 [ contents ]

37. POPL 2010: Madrid, Spain

• 
  Manuel V. Hermenegildo, Jens Palsberg (Eds.): Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. ACM 2010 ISBN 978-1-60558-479-9 [ contents ]
• 
  Leaf Petersen, Enrico Pontelli (Eds.): Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010. ACM 2010 ISBN 978-1-60558-859-9 [ contents ]
• 
  Jean-Christophe Filliâtre, Cormac Flanagan (Eds.): Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. ACM 2010 ISBN 978-1-60558-890-2 [ contents ]

36. POPL 2009: Savannah, GA, USA

• 
  Zhong Shao, Benjamin C. Pierce (Eds.): Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. ACM 2009 ISBN 978-1-60558-379-2 [ contents ]
• 
  Leaf Petersen, Manuel M. T. Chakravarty (Eds.): Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. ACM 2009 ISBN 978-1-60558-417-1 [ contents ]
• 
  Thorsten Altenkirch, Todd D. Millstein (Eds.): Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM 2009 ISBN 978-1-60558-330-3 [ contents ]

35. POPL 2008: San Francisco, California, USA

• 
  George C. Necula, Philip Wadler (Eds.): Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM 2008 ISBN 978-1-59593-689-9 [ contents ]
• 
  POPL 2008 Home Page

34. POPL 2007: Nice, France

• 
  Martin Hofmann, Matthias Felleisen (Eds.): Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM 2007 ISBN 1-59593-575-4 [ contents ]
• 
  POPL 2007 Home Page
• 
  Neal Glew, Guy E. Blelloch (Eds.): Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007. ACM 2007 ISBN 978-1-59593-690-5 [ contents ]

33. POPL 2006: Charleston, South Carolina, USA

• 
  J. Gregory Morrisett, Simon L. Peyton Jones (Eds.): Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006. ACM 2006 ISBN 1-59593-027-2 [ contents ]
• 
  POPL 2006 Home Page

32. POPL 2005: Long Beach, California, USA

• 
  Jens Palsberg, Martín Abadi (Eds.): Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. ACM 2005 ISBN 1-58113-830-X [ contents ]
• 
  POPL 2005 Home Page
• 
  Catherine Meadows (Ed.): Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. ACM 2005 ISBN 1-58113-980-2 [ contents ]

31. POPL 2004: Venice, Italy

• 
  Neil D. Jones, Xavier Leroy (Eds.): Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. ACM 2004 ISBN 1-58113-729-X [ contents ]
• 
  POPL 2004 Home Page

30. POPL 2003: New Orleans, LA, USA

• 
  Alex Aiken, Greg Morrisett (Eds.): Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003. ACM 2003 ISBN 1-58113-628-5, (ACM SIGPLAN Notices 38(1), January 2003) [ contents ]

29. POPL 2002: Portland, OR, USA

• 
  John Launchbury, John C. Mitchell (Eds.): Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002. ACM 2002 ISBN 1-58113-450-9, (ACM SIGPLAN Notices 37(1), January 2002) [ contents ]

28. POPL 2001: London, UK

• 
  Chris Hankin, Dave Schmidt (Eds.): Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001. ACM 2001 ISBN 1-58113-336-7, (ACM SIGPLAN Notices 36(3), March 2001) [ contents ]

27. POPL 2000: Boston, Massachusetts, USA

• 
  Mark N. Wegman, Thomas W. Reps (Eds.): POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000. ACM 2000 ISBN 1-58113-125-9 [ contents ]
• 
  POPL 2000 Home Page

26. POPL 1999: San Antonio, Texas, USA

• 
  Andrew W. Appel, Alex Aiken (Eds.): POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999. ACM 1999 ISBN 1-58113-095-3 [ contents ]

25. POPL 1998: San Diego, California, USA

• 
  David B. MacQueen, Luca Cardelli (Eds.): POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998. ACM 1998 ISBN 0-89791-979-3 [ contents ]

24. POPL 1997: Paris, France

• 
  Peter Lee, Fritz Henglein, Neil D. Jones (Eds.): Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997. ACM Press 1997 ISBN 0-89791-853-3 [ contents ]
• 
  POPL'97 Home Page

23. POPL 1996: St. Petersburg Beach, Florida, USA

• 
  Hans-Juergen Boehm, Guy L. Steele Jr. (Eds.): Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996. ACM Press 1996 ISBN 0-89791-769-3 [ contents ]

22. POPL 1995: San Francisco, California, USA

• 
  Ron K. Cytron, Peter Lee (Eds.): Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995. ACM Press 1995 ISBN 0-89791-692-1 [ contents ]

21. POPL 1994: Portland, Oregon, USA

• 
  Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin (Eds.): Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994. ACM Press 1994 ISBN 0-89791-636-0 [ contents ]
• 
  Jeannette M. Wing, Richard L. Wexelblat (Eds.): Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994. ACM Press 1994, (SIGPLAN Notices 29(8), August 1994) [ contents ]

20. POPL 1993: Charleston, South Carolina, USA

• 
  Mary S. Van Deusen, Bernard Lang (Eds.): Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993. ACM Press 1993 ISBN 0-89791-560-7 [ contents ]

19. POPL 1992: Albuquerque, New Mexico, USA

• 
  Ravi Sethi (Ed.): Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992. ACM Press 1992 ISBN 0-89791-453-8 [ contents ]

18. POPL 1991: Orlando, Florida, USA

• 
  David S. Wise (Ed.): Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991. ACM Press 1991 ISBN 0-89791-419-8 [ contents ]

17. POPL 1990: San Francisco, California, USA

• 
  Frances E. Allen (Ed.): Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990. ACM Press 1990 ISBN 0-89791-343-4 [ contents ]

16. POPL 1989: Austin, Texas, USA

• 
  Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989. ACM Press 1989 ISBN 0-89791-294-2 [ contents ]

15. POPL 1988: San Diego, California, USA

• 
  Jeanne Ferrante, P. Mager (Eds.): Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988. ACM Press 1988 ISBN 0-89791-252-7 [ contents ]

14. POPL 1987: Munich, Germany

• 
  Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. ACM Press 1987 ISBN 0-89791-215-2 [ contents ]

13. POPL 1986: St. Petersburg Beach, Florida, USA

• 
  Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986. ACM Press 1986 [ contents ]

12. POPL 1985: New Orleans, Louisiana, USA

• 
  Mary S. Van Deusen, Zvi Galil, Brian K. Reid (Eds.): Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985. ACM Press 1985 ISBN 0-89791-147-4 [ contents ]

11. POPL 1984: Salt Lake City, Utah, USA

• 
  Ken Kennedy, Mary S. Van Deusen, Larry Landweber (Eds.): Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984. ACM Press 1984 ISBN 0-89791-125-3 [ contents ]

POPL: The First Ten Years

• 
  POPL: The First Ten Years, Proceedings Compenium 1973-1983, CDROM. ACM 1997 ISBN 0-89791-947-5 [ contents ]

10. POPL 1983: Austin, Texas, USA

• 
  John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum (Eds.): Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983. ACM Press 1983 ISBN 0-89791-090-7 [ contents ]

9. POPL 1982: Albuquerque, New Mexico, USA

• 
  Richard A. DeMillo (Ed.): Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982. ACM Press 1982 ISBN 0-89791-065-6 [ contents ]

8. POPL 1981: Williamsburg, Virginia, USA

• 
  John White, Richard J. Lipton, Patricia C. Goldberg (Eds.): Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981. ACM Press 1981 ISBN 0-89791-029-X [ contents ]

7. POPL 1980: Las Vegas, Nevada, USA

• 
  Paul W. Abrahams, Richard J. Lipton, Stephen R. Bourne (Eds.): Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980. ACM Press 1980 ISBN 0-89791-011-7 [ contents ]

6. POPL 1979: San Antonio, Texas, USA

• 
  Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen (Eds.): Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979. ACM Press 1979 [ contents ]

5. POPL 1978: Tucson, Arizona, USA

• 
  Alfred V. Aho, Stephen N. Zilles, Thomas G. Szymanski (Eds.): Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978. ACM Press 1978 [ contents ]

4. POPL 1977: Los Angeles, California, USA

• 
  Robert M. Graham, Michael A. Harrison, Ravi Sethi (Eds.): Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977. ACM 1977 [ contents ]

3. POPL 1976: Atlanta, Georgia, USA

• 
  Susan L. Graham, Robert M. Graham, Michael A. Harrison, William I. Grosky, Jeffrey D. Ullman (Eds.): Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976. ACM Press 1976 [ contents ]

2. POPL 1975: Palo Alto, California, USA

• 
  Robert M. Graham, Michael A. Harrison, John C. Reynolds (Eds.): Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975. ACM Press 1975 [ contents ]

1. POPL 1973: Boston, Massachusetts, USA

• 
  Patrick C. Fischer, Jeffrey D. Ullman (Eds.): Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973. ACM Press 1973 [ contents ]