System F

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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
Abgerufen von „https://de.wikipedia.org/w/index.php?title=System_F&oldid=149075796“