2005

Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures

AFP 2004 (2004 : Tartu, Estonia)



 

2009

Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures

AFP 2008 (2008 : Heijen, Netherlands)



 

1995

Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24-30, 1995 Tutorial Text

International Spring School on Advanced Functional Programming Techniques (1st : 1995 : Båstad, Sweden)



 

2010

Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

AAIP 2009 (3rd : 2009 : Edinburgh, Scotland)



 

2013

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday

Heidelberg : Springer, 2013

 

2012

Central European Functional Programming School : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised selected papers

Central European Functional Programming School (4th : 2011 : Budapest, Hungary)



 

2015

Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers

Central European Functional Programming School (5th : 2013 : Cluj-Napoca, Romania)

Cham : Springer, 2015

 

2019

Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised selected papers

Central European Functional Programming School (6th : 2015 : Budapest, Hungary)

Cham, Switzerland : Springer, 2019

 

2006

Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures

Central European Functional Programming School (1st : 2005 : Budapest, Hungary)



 

2008

Central European functional programming school : second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures

Central European Functional Programming School (2nd : 2007 : Cluj-Napoca, Romania)



 

2010

Central European Functional Programming School : third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 : revised selected lectures

Central European Functional Programming School (3rd : 2009 : Budapest, Hungary, and Komárno, Slovakia)



 

2023

Composability, comprehensibility and correctness of working software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, revised selected papers

Central European Functional Programming School (8th : 2019 : Budapest, Hungary)



 

1988

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy)



 

2019

Functional and constraint logic programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised selected papers

WFLP (Workshop) (26th : 2018 : Frankfurt am Main, Germany)

Cham, Switzerland : Springer, 2019

 

2021

Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers

WFLP (Workshop) (28th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2011

Functional and constraint programming : 20th International Workshop, WFIP 2011, Odense, Denmark, July 19th. proceedings

WFLP 2011 (2011 : Odense, Denmark)



 

2006

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Fuji-Susono, Japan)



 

2008

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings

Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan)



 

2010

Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings

Fuji International Symposium on Functional and Logic Programming (10th : 2010 : Sendai-shi (Miyagi-ken, Japan))



 

2012

Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Fuji International Symposium on Functional and Logic Programming (11th : 2012 : Kobe-shi, Japan)



 

2014

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings

Fuji International Symposium on Functional and Logic Programming (12th : 2014 : Kanazawa, Japan)

Cham : Springer, [2014]

 

2016

Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings

Fuji International Symposium on Functional and Logic Programming (13th : 2016 : Kōchi-shi, Japan)

Switzerland : Springer, 2016

 

2018

Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings

Fuji International Symposium on Functional and Logic Programming (14th : 2018 : Nagoya, Japan)

Cham : Springer, 2018

 

2020

Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings

Fuji International Symposium on Functional and Logic Programming (15th : 2020 : Online)

Cham : Springer, 2020

 

2022

Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

International Symposium on Functional and Logic Programming (16th : 2022 : Kyoto, Japan)



 

1993

Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

 

2012

Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers

International Symposium on Trends in Functional Programming (12th : 2011 : Madrid, Spain)



 

2013

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers

International Symposium on Trends in Functional Programming (13th : 2012 : St. Andrews, Scotland)

Heidelberg : Springer, 2013