Symposium on Principles of Programming Languages (POPL)
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
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
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
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
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
Last update Thu May 23 03:00:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
