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

• 
  Esra Erdem, Germán Vidal:
  Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings. Lecture Notes in Computer Science 15537, Springer 2025, ISBN 978-3-031-84923-7 [contents]

• 
  Martin Gebser, Ilya Sergey:
  Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings. Lecture Notes in Computer Science 14512, Springer 2023, ISBN 978-3-031-52037-2 [contents]

• 
  Michael Hanus, Daniela Inclezan:
  Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13880, Springer 2023, ISBN 978-3-031-24840-5 [contents]

• 
  James Cheney, Simona Perri:
  Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings. Lecture Notes in Computer Science 13165, Springer 2022, ISBN 978-3-030-94478-0 [contents]

• 
  José F. Morales, Dominic A. Orchard:
  Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Lecture Notes in Computer Science 12548, Springer 2021, ISBN 978-3-030-67437-3 [contents]

• 
  Ekaterina Komendantskaya, Yanhong Annie Liu:
  Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings. Lecture Notes in Computer Science 12007, Springer 2020, ISBN 978-3-030-39196-6 [contents]

• 
  José Júlio Alferes, Moa Johansson:
  Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Lecture Notes in Computer Science 11372, Springer 2019, ISBN 978-3-030-05997-2 [contents]

• 
  Francesco Calimeri, Kevin W. Hamlen, Nicola Leone:
  Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. Lecture Notes in Computer Science 10702, Springer 2018, ISBN 978-3-319-73304-3 [contents]

• 
  Yuliya Lierler, Walid Taha:
  Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. Lecture Notes in Computer Science 10137, Springer 2017, ISBN 978-3-319-51675-2 [contents]

• 
  Marco Gavanelli, John H. Reppy:
  Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. Lecture Notes in Computer Science 9585, Springer 2016, ISBN 978-3-319-28227-5 [contents]

• 
  Enrico Pontelli, Tran Cao Son:
  Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Lecture Notes in Computer Science 9131, Springer 2015, ISBN 978-3-319-19685-5 [contents]

• 
  Matthew Flatt, Hai-Feng Guo:
  Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8324, Springer 2014, ISBN 978-3-319-04131-5 [contents]

• 
  Konstantinos Sagonas:
  Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings. Lecture Notes in Computer Science 7752, Springer 2013, ISBN 978-3-642-45283-3 [contents]

• 
  Claudio V. Russo, Neng-Fa Zhou:
  Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7149, Springer 2012, ISBN 978-3-642-27693-4 [contents]

• 
  Ricardo Rocha, John Launchbury:
  Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Lecture Notes in Computer Science 6539, Springer 2011, ISBN 978-3-642-18377-5 [contents]

• 
  Manuel Carro, Ricardo Peña:
  Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937, Springer 2010, ISBN 978-3-642-11502-8 [contents]

• 
  Andy Gill, Terrance Swift:
  Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Lecture Notes in Computer Science 5418, Springer 2009, ISBN 978-3-540-92994-9 [contents]

• 
  Paul Hudak, David Scott Warren:
  Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Lecture Notes in Computer Science 4902, Springer 2008, ISBN 978-3-540-77441-9 [contents]

• 
  Michael Hanus:
  Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Lecture Notes in Computer Science 4354, Springer 2007, ISBN 978-3-540-69608-7 [contents]

• 
  Pascal Van Hentenryck:
  Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Lecture Notes in Computer Science 3819, Springer 2006, ISBN 3-540-30947-0 [contents]

• 
  Manuel V. Hermenegildo, Daniel Cabeza:
  Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings. Lecture Notes in Computer Science 3350, Springer 2005, ISBN 3-540-24362-3 [contents]

• 
  Bharat Jayaraman:
  Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3057, Springer 2004, ISBN 3-540-22253-7 [contents]

• 
  Verónica Dahl, Philip Wadler:
  Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Lecture Notes in Computer Science 2562, Springer 2003, ISBN 3-540-00389-4 [contents]

• 
  Shriram Krishnamurthi, C. R. Ramakrishnan:
  Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings. Lecture Notes in Computer Science 2257, Springer 2002, ISBN 3-540-43092-X [contents]

• 
  I. V. Ramakrishnan:
  Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings. Lecture Notes in Computer Science 1990, Springer 2001, ISBN 3-540-41768-0 [contents]

PADL 2000 Home Page

• 
  Enrico Pontelli, Vítor Santos Costa:
  Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, ISBN 3-540-66992-2 [contents]

• 
  Gopal Gupta:
  Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Lecture Notes in Computer Science 1551, Springer 1998, ISBN 3-540-65527-1 [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-12-01 23:08 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: