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

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

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions a...

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Pena, Ricardo, Loidl, Hans-Wolfgang
Materialtyp:	E-bok
Språk:	English
Publicerad:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Serie:	Lecture Notes in Computer Science 7829
Ämnen:	Computer science.
Länkar:	Click here to view the full text content
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

Trends in functional programming 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
Publicerad: (2012)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Publicerad: (2014)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Publicerad: (2013)

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

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Publicerad: (2013)

Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /
Publicerad: (2012)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Publicerad: (2014)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Publicerad: (2013)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Publicerad: (2010)

Advanced functional programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Publicerad: (2008)

Programming multi-agent systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /
Publicerad: (2013)

Trends in constraint programming
Publicerad: (2007)

Trends in constraint programming
Publicerad: (2007)

Advanced functional programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Publicerad: (2009)

Security and trust management : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers /
Publicerad: (2013)

Implementation of functional languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
Publicerad: (2005)

Current trends in web engineering : ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers /
Publicerad: (2013)

From sounds to music and emotions : 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers /
Publicerad: (2013)

Recent trends in computer networks and distributed systems security : International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings /
Publicerad: (2012)

Approximation and online algorithms : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers /
Publicerad: (2013)

Graphics recognition. new trends and challenges : 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers /
Publicerad: (2013)

Automata, languages, and programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II /
av: Czumaj, Artur
Publicerad: (2012)

Automata, languages, and programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I /
Publicerad: (2012)

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /
Publicerad: (2013)

Mobile wireless middleware, operating systems, and applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, revised selected papers /
Publicerad: (2013)

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Publicerad: (2007)

Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Publicerad: (2013)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Publicerad: (2013)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Publicerad: (2013)

Applied parallel and scientific computing : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers /
Publicerad: (2013)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Publicerad: (2013)

PRICAI 2012: trends in artificial intelligence 12th Pacific Rim International Conference on artificial intelligence, Kuching, Malaysia, September 3-7, 2012. Proceedings /
Publicerad: (2012)

Programming languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Publicerad: (2012)

Journal of functional programming.
Publicerad: (1991)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Publicerad: (2013)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Publicerad: (2010)

Trends in acarology proceedings of the 12th international congress /
Publicerad: (2010)

Parameterized and exact computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings /
Publicerad: (2012)

Current trends in web engineering : workshops, doctoral symposium, and tutorials, held at ICWE 2011, paphos, cyprus, June 20-21, 2011. Revised Selected Papers /
Publicerad: (2012)