System F

aus Wikipedia, der freien Enzyklopädie

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

__DISAMBIG__