dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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)