„Functional programming“

Suchergebnisse

608 Treffer

• Practical Aspects of Declarative Languages – 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
  Sagonas, Kostis 2010 Springer International Publishing
• SASLOG – Lazy Evaluation Meets Backtracking
  Hinkelmann, Knut ; Noekel, Klaus ; Rehbold, Robert 2023 Saarländische Universitäts- und Landesbibliothek
• Multi-Composed Programming with Applications to Facility Location
  Wilfer, Oleg 2020 Springer Fachmedien Wiesbaden
• Towards Supramolecular Engineering of Functional Nanomaterials: Pre‐Programming Multi‐Component 2D Self‐Assembly at Solid‐Liquid Interfaces
  Ciesielski, Artur ; Palma, Carlos‐Andres ; Bonini, Massimo ; Samorì, Paolo
• Assessing Risk Assessment – Towards Alternative Risk Measures for Complex Financial Systems
  Hoffmann, Christian Hugo 2017 Springer Fachmedien Wiesbaden
• An outer space approximation approach for generalized affine multiplicative programming problems
  Hou, Zhisong ; Zhao, Zhenwei ; Bai, Yupeng ; Guo, Deke
• Renkon-Pad: A Live and Self-Sustaining Programming Environment Based on Functional Reactive Programming
  Ohshima, Yoshiki ; Bouhenguel, Adam ; Good, Matthew 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment
  Yamada, Yudai ; Ogura, Nobuhiko ; Hisazumi, Kenji ; Watanabe, Harumi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Lazy Non-Deterministic Computations by Demand Analysis
  Hanus, Michael 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Processing of Semistructured Web Data
  Hanus, Michael 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Kiel Declarative Programming Days 2013 20th International Conference on Applications of Declarat ive Programming and Knowledge Management (INAP 2013) 22nd International Workshop on Functional and (Constraint ) Logic Programming (WFLP 2013) 27th Workshop on Logic Programming (WLP 2013)
  Hanus, Michael 2013 Institut für Informatik, Christian-Albrechts-Universität zu Kiel
• Cross-Sectional 4D-Printing: Upscaling Self-Shaping Structures with Differentiated Material Properties Inspired by the Large-Flowered Butterwort (Pinguicula grandiflora)
  Sahin, Ekin Sila ; Cheng, Tiffany ; Wood, Dylan ; Tahouni, Yasaman ; Poppinga, Simon ; Thielen, Marc ; Speck, Thomas ; Menges, Achim 2023 Universitäts- und Landesbibliothek
• Trends in Functional Programming – 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
  2019 Springer International Publishing
• On optimality conditions for some nonsmooth optimization problems over Lp spaces
  Outrata, Jiří V. ; Römisch, Werner 2005 Humboldt-Universität zu Berlin
• Functional and Constraint Logic Programming – 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
  2019 Springer International Publishing
• Trends in Functional Programming – 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
  2019 Springer International Publishing
• Functional and Logic Programming – 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
  Gallagher, John Patrick ; Sulzmann, Martin 2018 Springer International Publishing
• Central European Functional Programming School – 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
  2019 Springer International Publishing
• Foundations of Programming Languages
  2014 Springer International Publishing
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing