Preisvergleich / Wohnen / Büro / System F, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

System F, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

39,00 €

Variante

System F, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

System F, auch bekannt als der polymorphe Lambda-Kalkül (Girard-Reynolds) oder der Lambda-Kalkül zweiter Ordnung, ist ein typisierter Lambda-Kalkül, der sich durch die Einführung eines Mechanismus der universellen Quantifizierung über Typen vom einfach typisierten Lambda-Kalkül unterscheidet. Dieses Werk bietet eine umfassende Analyse und Formalisierung des Konzepts des parametrischen Polymorphismus in Programmiersprachen. System F bildet die theoretische Grundlage für moderne Programmiersprachen wie Haskell und ML. Es wurde unabhängig von dem Logiker Jean-Yves Girard und dem Informatiker John C. Reynolds entdeckt. Während der einfach typisierte Lambda-Kalkül Variablen hat, die über Funktionen reichen, und Bindungen für diese, hat System F zusätzlich Variablen, die über Typen reichen, sowie Bindungen für diese. Das Buch richtet sich an Fachleute und Studierende in den Bereichen Mathematik und Naturwissenschaften und bietet wertvolle Einblicke in die theoretischen Grundlagen der Programmierung.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

19 Punkte
% Best Deal

39,00 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Ähnliche Produkte

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:Betascript Publishing