„(Keywords)Functional programming“

Suchergebnisse

1.000+ Treffer

• Automated Deduction in Geometry – 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer Berlin Heidelberg
• Implementation and Application of Functional Languages – 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
  Hage, Jurriaan ; Morazán, Marco T. 2011 Springer Berlin Heidelberg
• Implementation and Application of Functional Languages – 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
  Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer Berlin Heidelberg
• Trends in Functional Programming – 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
  Page, Rex ; Horváth, Zoltán ; Zsók, Viktória 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  Kuchen, Herbert 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Formal Concept Analysis – 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
  Valtchev, Petko ; Jäschke, Robert 2011 Springer Berlin Heidelberg
• Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
  Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg
• 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
  Horváth, Zoltán ; Plasmeijer, Rinus ; Zsók, Viktória 2010 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  Rocha, Ricardo ; Launchbury, John 2005 Springer Berlin Heidelberg
• Compiler Design – Syntactic and Semantic Analysis
  Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin Heidelberg
• Compiler Design – Analysis and Transformation
  Seidl, Helmut ; Wilhelm, Reinhard 2012 Springer Berlin Heidelberg
• Algebraic Methodology and Software Technology – 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Algebraic methodology and software technology – 13th international conference ; revised selected papers
  Johnson, Michael ; Pavlovic, Dusko 2011 Springer
• Automated deduction in geometry – 8th international workshop ; revised selected papers
  Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer
• Implementation and application of functional languages – 20th international symposium ; revised selected papers
  Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer
• Implementation and Application of Functional Languages – 22nd international symposium ; revised selected papers
  Hage, Jurriaan ; Morazán, Marco T. 2011 Springer
• Trends in functional programming – 11th international symposium ; revised selected papers
  Page, Rex ; Horváth, Zoltán ; Zsók, Viktória 2011 Springer
• Functional and constraint logic programming – 20th international workshop ; proceedings
  Kuchen, Herbert 2011 Springer
• Functional and constraint logic programming – 19th international workshop ; revised selected papers
  Mariño, Julio 2011 Springer