Benutzer:Chricho/Bücher/Funktionale Programmierung
Zur Navigation springen
Zur Suche springen
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] | |
Funktionale, Deklarative und Logische Programmierung[Bearbeiten | Quelltext bearbeiten]
- Allgemeines
- Funktionale Programmierung
- Algebraische Programmiersprache
- Logische Programmierung
- Deklarative Programmierung
- Deklarative Sprache
- Mathematische Grundlagen
- Lambda-Kalkül
- FP-System
- Alonzo Church
- Stephen Cole Kleene
- Monade (Kategorientheorie)
- Morphismus
- Aussagenlogik
- Atomare Aussage
- Prädikat (Logik)
- Prädikatenlogik
- LISP
- LISP
- John McCarthy
- Lispatom
- Maclisp
- NewLISP
- Flavors (Programmiersprache)
- XLISP
- muLISP
- AutoLISP
- Clojure
- Common Lisp
- Emacs Lisp
- Scheme
- GNU Guile
- F-Sharp
- Funktionale Programmiersprachen
- Haskell (Programmiersprache)
- Clean
- Erlang (Programmiersprache)
- Gofer
- Miranda (Programmiersprache)
- Faust (Programmiersprache)
- Fpii
- ISWIM
- Joy (Programmiersprache)
- ML (Programmiersprache)
- Nemerle
- Nyquist (Programmiersprache)
- Objective CAML
- Opal (Programmiersprache)
- GrGen
- Oz (Programmiersprache)
- C++-Metaprogrammierung
- Timing Definition Language
- Standard ML
- Streaming Transformations for XML
- XSL Transformation
- Logische Programmiersprachen
- Prolog (Programmiersprache)
- Datalog
- Mercury (Programmiersprache)
- Anwendungen
- Lazy Evaluation
- Expertensystem
- Strenge Funktion
- Kurzschlussauswertung
- Graphersetzungssystem
- Lisp-Maschine