„Functional Programming“

Suchergebnisse

608 Treffer

• Approximation of Nested Fixpoints – A Coalgebraic View of Parametric Dataypes
  Kurz, Alexander ; Pardo, Alberto ; Petrisan, Daniela ; Severi, Paula ; de Vries, Fer-Jan 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Growing a Software Language for Hardware Design
  Auerbach, Joshua ; Bacon, David F. ; Cheng, Perry ; Fink, Stephen J. ; Rabbah, Rodric ; Shukla, Sunil 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coupling Memory and Computation for Locality Management
  Acar, Umut A. ; Blelloch, Guy ; Fluet, Matthew ; Muller, Stefan K. ; Raghunathan, Ram 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
  Vasconcelos, Pedro 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Smart test data generators via logic programming
  Bulwahn, Lukas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Checking for the Q Functional Language in Prolog
  Zombori, Zsolt ; Csorba, János ; Szeredi, Péter 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Combining Proofs and Programs
  Weirich, Stephanie 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a Parallel Virtual Machine for Functional Logic Programming
  Alqaddoumi, Abdulla 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems
  Rodriguez-Hortala, Juan 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantic Versioning Checking in a Declarative Package Manager
  Hanus, Michael 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Functional Perspective on Advanced Logic Programming
  Vandenbroucke, Alexander 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tools for the implementation of argumentation models
  van Gijzel, Bas 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Supporting Separate Compilation in a Defunctionalizing Compiler
  Fourtounis, Georgios ; Papaspyrou, Nikolaos S. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Purely Functional Combinator Language for Software Quality Assessment
  Martins, Pedro ; Fernandes, João Paulo ; Saraiva, João 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Embedded Process Functional Language
  Bĕhálek, Marek ; Šaloun, Petr 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Amortised Worst-Case Execution Time Analysis
  Herrmann, Christoph A. ; Bonenfant, Armelle ; Hammond, Kevin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Pointon, Robert 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Verifiable WCET Analysis for a Functional Programming Language
  Hammond, Kevin ; Ferdinand, Christian ; Heckmann, Reinhold ; Dyckhoff, Roy ; Hofman, Martin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Michaelson, Greg ; Pointon, Robert ; Scaife, Norman ; Sérot, Jocelyn ; Wallace, Andy 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantum Programming Languages (Dagstuhl Seminar 18381)
  Mosca, Michele ; Roetteler, Martin ; Selinger, Peter
• Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
  Gaboardi, Marco ; Jagannathan, Suresh ; Jhala, Ranjit ; Weirich, Stephanie