„functional logic programming“

Suchergebnisse

135 Treffer

• Reconfigurable computing: architectures, tools and applications – 7th international symposium ; proceedings
  Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer
• Practical aspects of declarative languages – 13th international symposium ; proceedings
  Rocha, Ricardo ; Launchbury, John 2011 Springer
• Compiler design
  Seidl, Helmut 2012 Springer
• Compiler design
  Seidl, Helmut 2013 Springer
• Algebraic Methodology and Software Technology – 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
  Johnson, Michael ; Pavlović, Dus̆ko 2004 Springer Berlin Heidelberg
• Integration of functional and logic programming – 18. - 22.3.1991 (9112)
  Apt, Krzysztof R. 1991 Geschäftsstelle Schloss Dagstuhl
• 20th International Conference on Types for Proofs and Programs (TYPES 2014)
  Herbelin, Hugo ; Letouzey, Pierre ; Sozeau, Matthieu 2015 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Functional and logic programming – 10th international symposium ; proceedings
  Blume, Matthias 2010 Springer
• A unification of functional and logic programming based on many-valued functions
  Wilmes, Thomas 1987 Inst. für Informatik u. Prakt. Mathematik
• Conditional rewriting and narrowing as a theoretical framework for logic-functional programming – a survey
  Bockmayr, Alexander 1986 Inst. für Informatik I, Univ.
• Probalistic and truth-functional many-valued logic programming
  Lukasiewicz, Thomas 1999 Universitätsbibliothek
• 19th International Conference on Types for Proofs and Programs (TYPES 2013)
  Matthes, Ralph ; Schubert, Aleksy 2014 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Functional and logic programming – 8th international symposium ; proceedings
  Hagiya, Masami 2006 Springer
• Concepts of Programming Languages – Solution to Unsolved Problems
  Choudhary, Piyush 2017 LAP LAMBERT Academic Publishing
• Big data interpolation using functional representation
  Daltrophe, Hadassa ; Dolev, Shlomi ; Lotker, Zvi