„Funktionale Programmiersprache“

Suchergebnisse

1.000+ Treffer

• Software Engineering Paralleler Systeme – Grundlagen, Algorithmen, Programmierung
  Uelschen, Michael 2019 Springer Fachmedien Wiesbaden
• Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
  Mann, Matthias ; Schmidt-Schauß, Manfred 1999 Univ.-Bibliothek Frankfurt am Main
• Untersuchungen zu einigen Problemklassen des Kontext-Matching und Implementierung ausgewählter Algorithmen in der funktionalen Programmiersprache Haskell
  Gersdorf, Jörn ; Schmidt-Schauß, Manfred 2004 Univ.-Bibliothek Frankfurt am Main
• On correctness of buffer implementations in a concurrent lambda calculus with futures
  Schwinghammer, Jan ; Sabel, David ; Niehren, Joachim ; Schmidt-Schauß, Manfred 2009 Univ.-Bibliothek Frankfurt am Main
• On correctness of buffer implementations in a concurrent lambda calculus with futures
  Schwinghammer, Jan ; Sabel, David ; Niehren, Joachim ; Schmidt-Schauß, Manfred 2009 Univ.-Bibliothek Frankfurt am Main
• Klassen applikativer Programmschemata und ihre Berechnungsstärke
  Noll, Thomas 1995 Shaker
• Entwurf und Implementierung einer stack-basierten parallelen abstrakten Maschine für funktionale Programmiersprachen
  Hogen, Guido 1995 Verl. der Augustinus-Buchh.
• Functional programming languages in education – first international symposium ; proceedings
  Hartel, Pieter H. 1995 Springer
• Integration funktionaler und logischer Programmiersprachen – Semantik und Implementierung
  Loogen, Rita 1995 Oldenbourg
• Isomorphisms of types – from λ-calculus to information retrieval and language design
  Di Cosmo, Roberto 1995 Birkhäuser
• Implementierung einer parallelen funktionalen Sprache mit algorithmischen Skeletten zur Lösung mathematisch-technischer Probleme
  Stoltze, Holger 1995 Shaker
• Functional DSL Compilers with Leightweight Proofs
  Richter, David ; Mezini, Mira ; Ostermann, Klaus 2025 Universitäts- und Landesbibliothek
• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• Programming with Symmetric Data and Codata Types
  Binder, David ; Ostermann, Klaus 2024 Universitätsbibliothek Tübingen
• Entwurf und Implementierung effizienter Objektsysteme für funktionale und imperative Programmiersprachen am Beispiel von Lisp
  Bretthauer, Harry ; Wahlster, Wolfgang 2007 Saarländische Universitäts- und Landesbibliothek
• A++ und systemnahe Programmiersprachen – Funktional programmieren in C/C++
  Loczewski, Georg P. 2018 tredition
• Constructing a relational query optimizer for non-relational languages
  Rittinger, Jan
• A++ und systemnahe Programmiersprachen – Funktional programmieren in C/C++
  Loczewski, Georg P. 2018 tredition
• Dynamic compilation for functional programs
  Grabmüller, Martin
• Locally boolean domains and universal models for infinitary sequential languages
  Löw, Tobias