• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 49 matches

• 2017
• 
  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]
• 2016
• 
  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]
• 2015
• 
  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]
• 2014
• 
  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]
• 2013
• 
  Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler:
  Principles of POPL. ACM SIGPLAN Notices 48(4S): 12-16 (2013)
• 
  Noah D. Goodman:
  The principles and practice of probabilistic programming. POPL 2013: 399-402
• 
  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]
• 2012
• 
  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]
• 2011
• 
  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]
• 2010
• 
  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]
• 2009
• 
  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]
• 2008
• 
  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]
• 2007
• 
  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]
• 2006
• 
  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]
• 2005
• 
  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]
• 2004
• 
  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]
• 2003
• 
  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]
• 2002
• 
  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]
• 2001
• 
  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]
• 2000
• 
  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]
• 1999
• 
  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]
• 1998
• 
  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]
• 1997
• 
  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]
• 1996
• 
  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]
• 1995
• 
  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]
• 1994
• 
  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]
• 1993
• 
  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]
• 1992
• 
  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]
• 1991
• 
  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]
• 1990
• 
  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]

skipping 19 more matches