Trends in Functional Programming

Trends in Functional Programming.
17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers.
Urheber: Van Horn, David; Hughes, John. Verlag: Springer International Publishing. 23,5 x 15,5 cm. 20 Abbildungen, farbig, 424 Abbildungen, schwarz-weiß. Seiten: 193.
ISBN-13: 9783030148041.
Erscheinungsdatum: 21.02.2019

Dieses Buch stellt den referierten Beitrag der 17. Internationalen Konferenz über Trends in der funktionalen Programmierung, TFP 2016, dar, die im Juni 2016 im College Park, USA, stattfand. 10 vollständige Beiträge in diesem Band wurden sorgfältig geprüft und aus 18 Einreichungen ausgewählt. Die Papiere waren in thematischen Abschnitten mit dem Namen: Implementierungstechniken, Typen und Verifikation und Programmierung organisiert. 

Inhalt:
Computerprogrammierung und Softwareentwicklung
Compiler und Übersetzer
Programmier- und Skriptsprachen, allgemein
Künstliche Intelligenz


Datenstrukturen Design und Analyse; Künstliche Intelligenz; Typentheorie; Haskell; Funktionale Programmierung; Funktionale Sprachen; Programmlogik; Just-in-time-Compiler; Laufzeitumgebungen; Typensysteme; Programmiersprachen; Embedded Software; Programm-Compiler; Dynamische Analyse; Lambda-Kalkül; Typ-Referenzen; Datentypen und Strukturen; Formale Software-Verifikation; Semantik; Programmierlogik