Symposium on Principles of Programming Languages (POPL)
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
Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, January 15-17, 2003.
ACM SIGPLAN Notices 38(1), January 2003, ISBN 1-58113-628-5, ACM, 2003
Contents
- POPL 2003 Home Page
29. POPL 2002: Portland, OR, USA
Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, January 16-18, 2002.
ACM SIGPLAN Notices 37(1), January 2002, ISBN 1-58113-450-9, ACM, 2002
Contents
- POPL 2002 Home Page
28. POPL 2001: London, UK
Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
January 17-19, 2001, London, UK.
ACM SIGPLAN Notices 36(3), March 2001, ISBN 1-58113-336-7
Contents
- POPL 2001 Home Page
27. POPL 2000: Boston, Massachusetts, USA
POPL 2000,
Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
January 19-21,
2000, Boston, Massachusetts, USA. ACM Press, 2000
Contents -
POPL 2000 Home Page
26. POPL 1999: San Antonio, Texas
POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages,
January 20-22, 1999, San Antonio, TX.
ACM Press, 1999
Contents -
POPL 1999 Home Page
25. POPL 1998: San Diego, California
POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages,
January 19-21, 1998, San Diego, CA, USA. ACM Press, 1998
Contents -
POPL
1998 Home Page
24. POPL 1997: Paris, France
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, New York, 1997, ISBN 0-89791-853-3
Contents -
POPL'97 - US site,
POPL'97 - European site
23. POPL 1996: St. Petersburg Beach, Florida
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,
21-24 January 1996.
ACM Press, New York, 1996, ISBN 0-89791-769-3
Contents
22. POPL 1995: San Francisco, California
Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, San Francisco, California,
January 23-25, 1995. ACM Press, New York, 1995, ISBN 0-89791-692-1
Contents
21. POPL 1994: Portland, Oregon
Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, Portland, Oregon,
January 17-21, 1994. ACM Press, New York, 1994, ISBN 0-89791-636-0
Contents
Jeannette M. Wing (Ed.):
Proceedings of the Workshop on Interface Definition Languages,
January 20, 1994, Portland, Oregon,
in conjunction with POPL 1994.
SIGPLAN Notices 29(8),
August 1994
Contents
20. POPL 1993: Charleston, South Carolina
Conference Record of the Twentieth Annual ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Charleston, South Carolina, January 1993.
Contents
19. POPL 1992: Albuquerque, New Mexico
Conference Record of the Nineteenth Annual ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Albuquerque, New Mexico, January 1992.
Contents
18. POPL 1991: Orlando, Florida
Conference Record of the Eighteenth Annual ACM
Symposium on Principles of Programming Languages,
Orlando, Florida, January 1991.
Contents
17. POPL 1990: San Francisco, California
Conference Record of the Seventeenth Annual ACM
Symposium on Principles of Programming Languages,
San Francisco, California, January 1990.
Contents
16. POPL 1989: Austin, Texas
Conference Record of the Sixteenth Annual ACM
Symposium on Principles of Programming Languages,
Austin, Texas, January 1989.
Contents
15. POPL 1988: San Diego, California
Conference Record of the Fifteenth Annual ACM
Symposium on Principles of Programming Languages,
San Diego, California, January 1988.
Contents
14. POPL 1987: Munich, Germany
Conference Record of the Fourteenth Annual ACM
Symposium on Principles of Programming Languages, Munich, Germany,
January 1987.
Contents
13. POPL 1986: St. Petersburg Beach, Florida
Conference Record of the Thirteenth Annual ACM
Symposium on Principles of Programming Languages,
St. Petersburg Beach, Florida, January 1986.
Contents
12. POPL 1985: New Orleans, Louisiana
Conference Record of the Twelfth Annual ACM Symposium
on Principles of Programming Languages, New Orleans, Louisiana,
January 1985.
Contents
11. POPL 1984: Salt Lake City, Utah
Conference Record of the Eleventh Annual ACM Symposium
on Principles of Programming Languages, Salt Lake City, Utah,
January 1984.
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
Conference Record of the Tenth Annual ACM Symposium on
Principles of Programming Languages, Austin, Texas,
January 1983.
Contents
9. POPL 1982: Albuquerque, New Mexico
Conference Record of the Ninth Annual ACM Symposium on
Principles of Programming Languages, Albuquerque, New Mexico,
January 1982.
Contents
8. POPL 1981: Williamsburg, Virginia
Conference Record of the Eighth Annual ACM Symposium
on Principles of Programming Languages, Williamsburg, Virginia,
January 1981.
Contents
7. POPL 1980: Las Vegas, Nevada
Conference Record of the Seventh Annual ACM Symposium
on Principles of Programming Languages, Las Vegas, Nevada,
January 1980.
Contents
6. POPL 1979: San Antonio, Texas
Conference Record of the Sixth Annual ACM Symposium on
Principles of Programming Languages, San Antonio, Texas,
January 1979.
Contents
5. POPL 1978: Tucson, Arizona
Conference Record of the Fifth Annual ACM Symposium on
Principles of Programming Languages, Tucson, Arizona,
January 1978.
Contents
4. POPL 1977: Los Angeles, California
Conference Record of the Fourth ACM Symposium on
Principles of Programming Languages, Los Angeles, California,
January 1977.
Contents
3. POPL 1976: Atlanta, Georgia
Conference Record of the Third ACM Symposium on
Principles of Programming Languages, Atlanta, Georgia,
January 1976.
Contents
2. POPL 1975: Palo Alto, California
Conference Record of the Second ACM Symposium on
Principles of Programming Languages, Palo Alto, California,
January 1975.
Contents
1. POPL 1973: Boston, Massachusetts
Conference Record of the ACM Symposium on Principles
of Programming Languages, Boston, Massachusetts,
October 1973.
Contents
Copyright © Fri Mar 12 17:20:02 2010
by Michael Ley (ley@uni-trier.de)
