System F [SEP] discoverer or inventor
System F
System F, also known as the (Girard–Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that differs from the simply typed lambda calculus by the introduction of a mechanism of universal quantification over types. System F thus formalizes the notion of parametric polymorphism in programming languages, and forms a theoretical basis for languages such as Haskell and ML. System F was discovered independently by logician Jean-Yves Girard (1972) and computer scientist John C. Reynolds (1974)
aero- and hydrodynamics, formulated the Chaplygin's equations and Chaplygin gas concept
- Pavel Cherenkov, discoverer of Cherenkov radiation, Nobel Prize winner
Alphabetical list D.
- Yuri Denisyuk, inventor of 3D holography
Alphabetical list F.
- Ludvig Faddeev, discoverer of Faddeev–Popov ghosts and Faddeev equations in quantum physics
- Georgy Flyorov, nuclear physicist, one of the initiators of the Soviet atomic bomb project, co-discoverer of seaborgium and bohrium, founder of the Joint Institute for Nuclear Research
- Vladimir Fock, developed the