-
Trends in Functional Programming – 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
McCarthy, Jay 2016 Springer International Publishing
-
Practical Aspects of Declarative Languages – 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Pontelli, Enrico ; Son, Tran Cao 2015 Springer International Publishing
-
Trends in Functional Programming – 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Hage, Jurriaan ; McCarthy, Jay 2015 Springer International Publishing
-
New Frontiers in Artificial Intelligence – JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Nakano, Yukiko ; Satoh, Ken ; Bekki, Daisuke 2014 Springer International Publishing
-
Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
-
Trends in Functional Programming – 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
2014 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Programming Languages – 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Rauber du Bois, André ; Trinder, Phil 2013 Springer Berlin Heidelberg
-
The Beauty of Functional Code – Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer Berlin Heidelberg
-
Trends in Functional Programming – 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Loidl, Hans-Wolfgang ; Peña, Ricardo 2013 Springer Berlin Heidelberg
-
Functional Programming, Glasgow 1994 – Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
Hammond, Kevin 1995 Springer London
-
Functional Programming, Glasgow 1990 – Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
Peyton Jones, Simon L. 1991 Springer London
-
Implementation and Application of Functional Languages – 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Gill, Andy ; Hage, Jurriaan 2012 Springer Berlin Heidelberg
-
Trends in Functional Programming – 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Peña, Ricardo ; Page, Rex 2012 Springer Berlin Heidelberg
-
Generic and Indexed Programming – International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Gibbons, Jeremy 2012 Springer Berlin Heidelberg
-
Central European Functional Programming School – 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer Berlin Heidelberg
-
Functional and Logic Programming – 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Schrijvers, Tom ; Thiemann, Peter 2012 Springer Berlin Heidelberg
-
Recent Trends in Algebraic Development Techniques – 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Mossakowski, Till ; Kreowski, Hans-Jörg 2012 Springer Berlin Heidelberg
-
Functional Programming, Glasgow 1992 – Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992
Launchbury, John 1993 Springer London
-
Functional Programming, Glasgow 1991 – Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991
Heldal, Rogardt 1992 Springer London