System F, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
39,00 €
Variante
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
Galaxus
Logge dich ein für Coupon Details
