„Functional Programming“

Suchergebnisse

608 Treffer

• Functional description of the contextual analysis in block-structured programming languages – a case study of tree transducers
  Vogler, Heiko 1988 RWTH, Fachgruppe Informatik
• The functional equations of undiscounted denumerable state Markov renewal programming
  Mann, Elke 1985 Sonderforschungsbereich 72
• 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.
• A characterization of higher functionals in weakly typed programming languages
  Crasemann, Christoph 1984 Inst. für Informatik u. Prakt. Mathematik
• Vulnerability modeling and monadic dynamical systems
  Ionescu, Cezar
• Embedding Attribute Grammars using Functional Zippers
  Martins, Pedro 2015 LAP LAMBERT Academic Publishing
• Central European Functional Programming School – second summer school ; revised selected lectures
  Horváth, Zoltán 2008 Springer
• Explicit and implicit paralell functional programming – concepts and implementation
  Berthold, Jost
• Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
  Mazanek, Steffen ; Minas, Mark 2008 Technische Universität Berlin
• Symbian OS C++ for Mobile Phones – Programming with Extended Functionality and Advanced Features, Volume 2
  Harrison, Richard 2005 John Wiley & Sons
• Central European Functional Programming School – first summer school ; revised selected lectures
  Horváth, Zoltán 2006 Springer
• Probalistic and truth-functional many-valued logic programming
  Lukasiewicz, Thomas 1999 Universitätsbibliothek
• Programming Languages – 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
  Quintão Pereira, Fernando Magno 2014 Springer International Publishing
• 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
• Functional Program Transformation for Parallelisation Using Skeletons
  Kannan, Venkatesh ; Hamilton, G. W.