W

Themen-Graph

Verbindungen von Typkonstruktor zu 24 verknüpften Artikeln. Klicke auf einen Knoten, um zu navigieren.

Logikund,formalen SpracheBasistypenNulltypkonstruktorenProdukttypenFunktionstypenListentypender einfach typisiert…Currying intypisierten Lambda-Ka…Arten,einfach getypten λ-Ka…λ-WürfelsSystem FSystem F ωfunktionale Programmi…Haskellparametrische polymor…Algebraischer DatentypRekursiver DatentypISBNP. T. JohnstoneTypkonstruktor

Tipp: Öffne den Graph aus jedem Artikel über „Themen-Graph anzeigen“.