„Combinators“

Suchergebnisse

19 Treffer

• Evolving Combinators
  Fuchs, Matthias 2024 Saarländische Universitäts- und Landesbibliothek
• SASLOG – Lazy Evaluation Meets Backtracking
  Hinkelmann, Knut ; Noekel, Klaus ; Rehbold, Robert 2023 Saarländische Universitäts- und Landesbibliothek
• Evolving Combinators
  Fuchs, Matthias 1996 Technische Universität Kaiserslautern, Fachbereich Informatik
• Multiparty Session Programming with Global Protocol Combinators (Artifact)
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji
• Multiparty Session Programming With Global Protocol Combinators
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial Time in the Parametric Lambda Calculus
  Redmond, Brian F. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Typed Multi-Language Strategy Combinators
  Koppel, James 2023 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
• Algebras and combinators
  Engeler, Erwin
• Categorical combinators, sequential algorithms, and functional programming
  Curien, Pierre-Louis 1993 Birkhäuser
• Contraint-Based Combinators for Local Search
  Hentenryck, Pascal Van ; Michel, Laurent ; Liu, Liyuan
• Combinators and functional programming languages – Val d'Ajol, France, May 6 - 10, 1985 ; proceedings
  Cousineau, Guy 1986 Springer
• Spaces with combinators
  Georgieva, N.
• Investigation into Combinatory Systems with Dual Combinators
  Bimbó, Katalin
• Defining Parallel Local Search Procedures with Neighborhood Combinators
  Ospina, Gustavo ; De Landtsheer, Renaud
• Editor combinators – a first account
  Kahl, Wolfram ; Braun, Oliver ; Scheffczyk, Jan 2000 Univ. der Bundeswehr München, Fak. für Informatik
• Combinators, <Emphasis Type="Italic">λ</Emphasis>-Terms and Proof Theory
  1972 Springer Netherlands
• Categorical Combinators, Sequential Algorithms, and Functional Programming
  1993 Birkhäuser Boston
• Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
  Mazanek, Steffen ; Minas, Mark 2008 Technische Universität Berlin