default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Proceedings published in: PACMPL 9(POPL)

Proceedings published in: PACMPL 8(POPL)

Proceedings published in: PACMPL 7(POPL)

Proceedings published in: PACMPL 6(POPL)

Proceedings published in: PACMPL 5(POPL)

Proceedings published in: PACMPL 4(POPL)

Proceedings published in: PACMPL 3(POPL)

Proceedings published in: PACMPL 2(POPL)

• 
  Giuseppe Castagna, Andrew D. Gordon:
  Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. ACM 2017, ISBN 978-1-4503-4660-3 [contents]

• 
  Rastislav Bodík, Rupak Majumdar:
  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016, ISBN 978-1-4503-3549-2 [contents]

• 
  Sriram K. Rajamani, David Walker:
  Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3300-9 [contents]
• 
  Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015. ACM 2015, ISBN 978-1-4503-3299-6 [contents]

• 
  Suresh Jagannathan, Peter Sewell:
  The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. ACM 2014, ISBN 978-1-4503-2544-8 [contents]
• 
  Suresh Jagannathan, Peter Sewell:
  Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA, USA. ACM 2014, ISBN 978-1-4503-2649-0 [contents]

• 
  Roberto Giacobazzi, Radhia Cousot:
  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]
• 
  Evelyne Viegas, Karin K. Breitman, Judith Bishop:
  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]
• 
  Jeffrey Todd McDonald, Mila Dalla Preda:
  Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, PPREW@POPL 2013, January 26, 2013, Rome, Italy. ACM 2013, ISBN 978-1-4503-1857-0 [contents]

• 
  John Field, Michael Hicks:
  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]

• 
  Thomas Ball, Mooly Sagiv:
  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]
• 
  Stephanie Weirich, Derek Dreyer:
  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]

• 
  Manuel V. Hermenegildo, Jens Palsberg:
  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]

• 
  Zhong Shao, Benjamin C. Pierce:
  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]

POPL 2008 Home Page

• 
  George C. Necula, Philip Wadler:
  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 2007 Home Page

• 
  Martin Hofmann, Matthias Felleisen:
  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 2006 Home Page

• 
  J. Gregory Morrisett, Simon L. Peyton Jones:
  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 2005 Home Page

• 
  Jens Palsberg, Martín Abadi:
  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]
• 
  Catherine Meadows:
  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]

POPL 2004 Home Page

• 
  Neil D. Jones, Xavier Leroy:
  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]

• 
  Alex Aiken, Greg Morrisett:
  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]

• 
  John Launchbury, John C. Mitchell:
  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]

• 
  Chris Hankin, Dave Schmidt:
  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]

POPL 2000 Home Page

• 
  Mark N. Wegman, Thomas W. Reps:
  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]

• 
  Andrew W. Appel, Alex Aiken:
  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]

• 
  David B. MacQueen, Luca Cardelli:
  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]

POPL'97 Home Page

• 
  Peter Lee, Fritz Henglein, Neil D. Jones:
  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]

• 
  Hans-Juergen Boehm, Guy L. Steele Jr.:
  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]

• 
  Ron K. Cytron, Peter Lee:
  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]

• 
  Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin:
  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:
  Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994. ACM Press 1994 [contents]

• 
  Mary S. Van Deusen, Bernard Lang:
  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]

• 
  Ravi Sethi:
  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]

• 
  David S. Wise:
  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]

• 
  Frances E. Allen:
  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]

• 
  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]

• 
  Jeanne Ferrante, Peter Mager:
  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]

• 
  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]

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

• 
  Mary S. Van Deusen, Zvi Galil, Brian K. Reid:
  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]

• 
  Ken Kennedy, Mary S. Van Deusen, Larry Landweber:
  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]

• 
  John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum:
  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]
• 
  POPL: The First Ten Years, Proceedings Compenium 1973-1983, CDROM. ACM 1997, ISBN 0-89791-947-5 [contents]

• 
  Richard A. DeMillo:
  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]

• 
  John White, Richard J. Lipton, Patricia C. Goldberg:
  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]

• 
  Paul W. Abrahams, Richard J. Lipton, Stephen R. Bourne:
  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]

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

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

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

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

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

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-11-09 22:53 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: