System F

from Wikipedia, the free encyclopedia

System F is:

  • a pseudonym of the Dutch DJ Ferry Corsten
  • the polymorphically typed lambda calculus , a formal language used to study programming languages