Zum Inhalt springen

System F

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 15. Dezember 2015 um 09:07 Uhr durch 129.13.72.198 (Diskussion).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

System F ist:

  • ein Pseudonym des niederländischen DJs Ferry Corsten
  • der polymorph getypte Lambda-Kalkül, eine formale Sprache, mit der Programmiersprachen untersucht werden

Vorlage:Hinweisbaustein __DISAMBIG__