„Functional programming“

Suchergebnisse

608 Treffer

• Clean ABAP – lesbarer und wartbarer ABAP-Code
  Häuptle, Klaus ; Hoffmann, Florian ; Jordão, Rodrigo ; Martin, Michel ; Ravinarayan, Anagha ; Westerholz, Kai 2022 Rheinwerk Publishing
• Multicore Rapid: Extending a Native Idris 2 Compiler and Runtime for Parallelism
  Rudloff, Johann ; Icking, Christian ; Ma, Lihong 2025 FernUniversität in Hagen
• Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
  Schmidt-Schauß, Manfred ; Sabel, David 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A methodology for a scalable building performance simulation based on modular components
  Mitterhofer, Matthias ; Sedlbauer, Klaus ; Leistner, Philip ; Mehra, Schew-Ram 2018 Fraunhofer Verlag
• Intentional Forgetting Must be Part of the Functionality – Interview with Prof. Otthein Herzog, Jacobs University Bremen, University of Bremen, and Tongij University, Shanghai
  Timm, Ingo J. ; Herzog, Otthein ; Berndt, Jan Ole ; Beierle, Christoph
• RoboChart: modelling and verification of the functional behaviour of robotic applications
  Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei ; Cavalcanti, Ana ; Timmis, Jon ; Woodcock, Jim
• Clean ABAP – Lesbarer und wartbarer ABAP-Code
  Häuptle, Klaus ; Hoffmann, Florian ; Jordão, Rodrigo ; Martin, Michel ; Ravinarayan, Anagha ; Westerholz, Kai 2022 Rheinwerk Verlag
• Trading between quality and non-functional properties of median filter in embedded systems
  Vašíček, Zdenĕk ; Mrazek, Vojtech
• ‘Fetal programming’ and ‘functional teratogenesis’: on epigenetic mechanisms and prevention of perinatally acquired lasting health risks
  Plagemann, A.
• Compiling with Arrays
  Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
  Chardonnet, Kostia ; Lemonnier, Louis ; Valiron, Benoît 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adjoint Natural Deduction
  Jang, Junyoung ; Roshal, Sophia ; Pfenning, Frank ; Pientka, Brigitte 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Type System for L^p-Metric Sensitivity Analysis
  Sannier, Victor ; Baillot, Patrick 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compiling with Arrays (Artifact)
  Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira
• Functional Programming in the Real World (Dagstuhl Seminar 9420)
  Giegerich, Robert ; Hughes, John 1994 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)
  Apt, Krzysztof ; Indermark, Klaus ; Rodríguez Artalejo, Mario 1991 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming for Distributed Systems with XC (Artifact)
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
• Synchron - An API and Runtime for Embedded Systems (Artifact)
  Sarkar, Abhiroop ; Svensson, Bo Joel
• Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)
  Van den Vonder, Sam ; Renaux, Thierry ; Oeyen, Bjarno ; De Koster, Joeri ; De Meuter, Wolfgang
• Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs
  Mishra, Ashish ; Jagannathan, Suresh 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik