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 of the 36th Symposium on Implementation and Application of Functional Languages, IFL 2024, Nijmegen, The Netherlands, August 26-28, 2024. ACM 2024, ISBN 979-8-4007-1025-4 [contents]

• 
  The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023. ACM 2023 [contents]

• 
  Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, IFL 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022. ACM 2022, ISBN 978-1-4503-9831-2 [contents]

• 
  33rd Symposium on Implementation and Application of Functional Languages, IFL 2021, Nijmegen, The Netherlands, September 1-3, 2021. ACM 2021, ISBN 978-1-4503-8644-9 [contents]

• 
  Olaf Chitil:
  IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020. ACM 2020, ISBN 978-1-4503-8963-1 [contents]

• 
  Jurriën Stutterheim, Wei-Ngan Chin:
  IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM 2019, ISBN 978-1-4503-7562-7 [contents]

• 
  Matteo Cimini, Jay McCarthy:
  Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018. ACM 2018, ISBN 978-1-4503-7143-8 [contents]

• 
  Nicolas Wu:
  Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017. ACM 2017 [contents]

• 
  Tom Schrijvers:
  Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016. ACM 2016, ISBN 978-1-4503-4767-9 [contents]

• 
  Ralf Lämmel:
  Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015. ACM 2015, ISBN 978-1-4503-4273-5 [contents]

• 
  Sam Tobin-Hochstadt:
  Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014. ACM 2014, ISBN 978-1-4503-3284-2 [contents]

• 
  Rinus Plasmeijer:
  Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. ACM 2013, ISBN 978-1-4503-2988-0 [contents]

• 
  Ralf Hinze:
  Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8241, Springer 2013, ISBN 978-3-642-41581-4 [contents]

• 
  Andy Gill, Jurriaan Hage:
  Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7257, Springer 2012, ISBN 978-3-642-34406-0 [contents]

• 
  Jurriaan Hage, Marco T. Morazán:
  Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6647, Springer 2011, ISBN 978-3-642-24275-5 [contents]

• 
  Marco T. Morazán, Sven-Bodo Scholz:
  Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6041, Springer 2011, ISBN 978-3-642-16477-4 [contents]

• 
  Sven-Bodo Scholz, Olaf Chitil:
  Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5836, Springer 2011, ISBN 978-3-642-24451-3 [contents]

• 
  Olaf Chitil, Zoltán Horváth, Viktória Zsók:
  Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5083, Springer 2008, ISBN 978-3-540-85372-5 [contents]

• 
  Zoltán Horváth, Viktória Zsók, Andrew Butterfield:
  Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4449, Springer 2007, ISBN 978-3-540-74129-9 [contents]

• 
  Andrew Butterfield, Clemens Grelck, Frank Huch:
  Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4015, Springer 2006, ISBN 3-540-69174-X [contents]

• 
  Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder:
  Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3474, Springer 2005, ISBN 3-540-26094-3 [contents]

• 
  Philip W. Trinder, Greg Michaelson, Ricardo Pena:
  Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5 [contents]

• 
  Ricardo Pena, Thomas Arts:
  Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2670, Springer 2003, ISBN 3-540-40190-3 [contents]

• 
  Thomas Arts, Markus Mohnen:
  Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Lecture Notes in Computer Science 2312, Springer 2002, ISBN 3-540-43537-9 [contents]

• 
  Markus Mohnen, Pieter W. M. Koopman:
  Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Lecture Notes in Computer Science 2011, Springer 2001, ISBN 3-540-41919-5 [contents]

• 
  Pieter W. M. Koopman, Chris Clack:
  Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers. Lecture Notes in Computer Science 1868, Springer 2000, ISBN 3-540-67864-6 [contents]

• 
  Kevin Hammond, Antony J. T. Davie, Chris Clack:
  Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers. Lecture Notes in Computer Science 1595, Springer 1999, ISBN 3-540-66229-4 [contents]

• 
  Chris Clack, Kevin Hammond, Antony J. T. Davie:
  Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers. Lecture Notes in Computer Science 1467, Springer 1998, ISBN 3-540-64849-6 [contents]

IFL 1996 Home Page

• 
  Werner E. Kluge:
  Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers. Lecture Notes in Computer Science 1268, Springer 1997, ISBN 3-540-63237-9 [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:19 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: