„Functional programming“

Suchergebnisse

608 Treffer

• Investigating minimally strict functions in functional programming
  Christiansen, Jan
• Generic and indexed programming – international spring school ; revised lectures
  Gibbons, Jeremy 2012 Springer
• Central European Functional Programming School – 4th summer school ; revised selected papers
  Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer
• Trends in functional programming – 12th international symposium ; revised selected papers
  Peña, Ricardo ; Page, Rex 2012 Springer
• Strongly typed and efficient functional reactive programming
  Jeltsch, Wolfgang
• Functional and logic programming – 11th international symposium ; proceedings
  Schrijvers, Tom ; Thiemann, Peter 2012 Springer
• Functional equations in dynamic programming
  Bellman, Richard ; Lee, E. Stanley
• Enhanced graph rewriting systems for complex software domains – Dynamic software architecture, non-functional requirements, and correctness by construction
  Eichler, Cédric ; Monteil, Thierry ; Stolf, Patricia ; Grieco, Luigi Alfredo ; Drira, Khalil
• Recent trends in algebraic development techniques – 20th international workshop ; revised selected papers
  Mossakowski, Till ; Kreowski, Hans-Jörg 2012 Springer
• Types with potential: polynomial resource bounds via automatic amortized analysis
  Hoffmann, Jan 2011 Epubli
• European Conference on Software Engineering Education – ECSEE 2016, 30th June and 1st July 2016, Seeon Monastery
  Hagel, Georg ; Mottok, Jürgen 2016 Shaker Verlag
• Automated deduction in geometry – 8th international workshop ; revised selected papers
  Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer
• Optimal Control in Diffusion Stochastic Nonlinear Functional-Differential ITO Equations with Markov Parameters and External Markov Switching
  Yasinskyy, V. K. ; Savchuk, B. W. ; Kozyr, S. M.
• Research Directions in Parallel Functional Programming
  Hammond, Kevin 1999 Springer London
• Implementation and application of functional languages – 20th international symposium ; revised selected papers
  Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer
• Categorical Combinators, Sequential Algorithms, and Functional Programming
  1993 Birkhäuser Boston
• Implementation and Application of Functional Languages – 22nd international symposium ; revised selected papers
  Hage, Jurriaan ; Morazán, Marco T. 2011 Springer
• On Hyers–Ulam stability of generalized linear functional equation and its induced Hyers–Ulam programming problem
  Zhang, Dong
• 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