„Functional programming“

Suchergebnisse

608 Treffer

• Perinatal Brain Programming and Functional Teratology
  Dörner, Günter
• Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper)
  Qi, Yanmin ; Du, Heshan ; Farjudian, Amin ; Zhu, Yunqiang 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DUELMIPs: Optimizing SDN Functionality and Security
  Curry, Timothy ; De Pace, Gabriel ; Fuller, Benjamin ; Michel, Laurent ; Sun, Yan (Lindsay) 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming for Distributed Systems with XC
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchron - An API and Runtime for Embedded Systems
  Sarkar, Abhiroop ; Svensson, Bo Joel ; Sheeran, Mary 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Maniposynth: Bimodal Tangible Functional Programming
  Hempel, Brian ; Chugh, Ravi 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming with Datalog
  Pacak, André ; Erdweg, Sebastian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parallelism in Soft Linear Logic
  Jacobé de Naurois, Paulin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reactamole: Functional Reactive Molecular Programming
  Klinge, Titus H. ; Lathrop, James I. ; Osera, Peter-Michael ; Rogers, Allison 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
  Van den Vonder, Sam ; Renaux, Thierry ; Oeyen, Bjarno ; De Koster, Joeri ; De Meuter, Wolfgang 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)
  Li, Beidi ; Bhatt, Mehul ; Schultz, Carl 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Counting Environments and Closures
  Bendkowski, Maciej ; Lescanne, Pierre 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Arrays and References in Resource Aware ML
  Lichtman, Benjamin ; Hoffmann, Jan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pi-Ware: Hardware Description and Verification in Agda
  Pizani Flor, João Paulo ; Swierstra, Wouter ; Sijsling, Yorick 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order Demand-Driven Program Analysis
  Palmer, Zachary ; Smith, Scott F. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interaction Automata and the ia2d Interpreter
  Gimenez, Stéphane ; Obwaller, David 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories
  Hamana, Makoto 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Analysis of Functional Data Structures
  Nipkow, Tobias 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization
  Huet, Gérard 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coalgebras and Higher-Order Computation: a GoI Approach
  Hasuo, Ichiro 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik