„Functional Programming“

Suchergebnisse

608 Treffer

• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Structured Parallelism by Composition - Design and implementation of a framework supporting skeleton compositionality
  Dieterle, Mischa ; Loogen, Rita 2016 Philipps-Universität Marburg
• Extension of the Rule-Based Programming Language XL by Concepts for Multi-Scaled Modelling and Level-of-Detail Visualization
  Ong, Yongzhi ; Kurth, Winfried ; Kreowski, Hans-Jörg 2015 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Multi-Quality Auto-Tuning by Contract Negotiation
  Götz, Sebastian ; Aßmann, Uwe ; Hußmann, Heinrich 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
  Hoffmann, Jan 2012 epubli GmbH
• Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
  Bulwahn, Lukas ; Nipkow, Tobias ; Runciman, Colin 2013 Universitätsbibliothek der TU München
• Implementing Functional Logic Programs – by Translation into Purely Functional Programs
  Braßel, Bernd 2012 Südwestdeutscher Verlag für Hochschulschriften
• Investigating Minimally Strict Functions in Functional Programming
  Christiansen, Jan 2012 Universitätsbibliothek Kiel
• Vulnerability modeling and monadic dynamical systems
  Ionescu, Cezar 2009 Freie Universität Berlin
• Strongly typed and efficient functional reactive programming
  Jeltsch, Wolfgang ; Hofstedt, Petra 2012 Universitätsbibliothek der BTU Cottbus
• On functional logic programming and its application to testing
  Fischer, Sebastian
• Implementing Functional Logic Programs by Translation into Purely Functional Programs
  Braßel, Bernd 2011 Universitätsbibliothek Kiel
• Schema-guided inductive functional programming through automatic detection of type morphisms
  Hofmann, Martin
• A++ and the Lambda Calculus – Principles of Functional Programming
  Loczewski, Georg P. 2018 tredition
• Explicit and implicit parallel functional programming – concepts and implementation
  Berthold, Jost
• Analyzing demand in non-strict functional programming languages
  Schütz, Marko
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional and Constraint Logic Programming – 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
  Escobar, Santiago 2010 Springer International Publishing
• Functional and Logic Programming – 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
  Garrigue, Jacques 2008 Springer International Publishing