Everything about System F

🧭 Start here: a 6-step reading path

1. Read the overview: System FA 5-minute orientation
2. Skim a recent paper: Software update: The ORCA program system—Version 5.0Influential work since 2022
3. Pick up a classic book: The Autobiography of Benjamin FranklinThe most-reprinted book on the subject
4. Read the landmark paper: UCSF Chimera—A visualization system for exploratory research and analysisCited 45,715 times
5. Go sideways: Lambda cubeA closely related topic
6. Go sideways: Hindley–Milner type systemA closely related topic

🏆 Landmark papers (most cited)

• UCSF Chimera—A visualization system for exploratory research and analysis

  Eric F. Pettersen, Thomas D. Goddard, Conrad C. Huang · 2004 · Journal of Computational Chemistry · 45,715 citations

• PHENIX : a comprehensive Python-based system for macromolecular structure solution

  Paul D. Adams, Pavel V. Afonine, Gábor Bunkóczi · 2010 · Acta Crystallographica Section D Biological Crystallography · 24,280 citations

• The ERA‐Interim reanalysis: configuration and performance of the data assimilation system

  D. P. Dee, S. M. Uppala, A. J. Simmons · 2011 · Quarterly Journal of the Royal Meteorological Society · 21,055 citations

• Numerical integration of the cartesian equations of motion of a system with constraints: molecular dynamics of n-alkanes

  Jean-Paul Ryckaert, Giovanni Ciccotti, Herman J.C Berendsen · 1977 · Journal of Computational Physics · 20,354 citations

• General atomic and molecular electronic structure system

  Michael W. Schmidt, Kim K. Baldridge, Jerry A. Boatz · 1993 · Journal of Computational Chemistry · 19,287 citations

• NMRPipe: A multidimensional spectral processing system based on UNIX pipes

  Frank Delaglio, Stephan Grzesiek, GeertenW. Vuister · 1995 · Journal of Biomolecular NMR · 14,101 citations

• The 2016 World Health Organization Classification of Tumors of the Central Nervous System: a summary

  David N. Louis, Arie Perry, Guido Reifenberger · 2016 · Acta Neuropathologica · 13,789 citations

• An automated labeling system for subdividing the human cerebral cortex on MRI scans into gyral based regions of interest

  Rahul S. Desikan, Florent Ségonne, Bruce Fischl · 2006 · NeuroImage · 13,571 citations

🆕 Influential since 2022

• Software update: The ORCA program system—Version 5.0

  Frank Neese · 2022 · WIREs Computational Molecular Science · 5,246 citations

• Global, regional, and national burden of disorders affecting the nervous system, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2021

  Jaimie D Steinmetz, Katrin Maria Seeher, Nicoline Schiess · 2024 · The Lancet Neurology · 2,120 citations

• Robot Operating System 2: Design, architecture, and uses in the wild

  Steven Macenski, Tully Foote, Brian Gerkey · 2022 · Science Robotics · 1,666 citations

• CBTRUS Statistical Report: Primary Brain and Other Central Nervous System Tumors Diagnosed in the United States in 2015–2019

  Quinn T Ostrom, Mackenzie Price, Corey Neff · 2022 · Neuro-Oncology · 1,567 citations

• Software Update: The ORCA Program System—Version 6.0

  Frank Neese · 2025 · WIREs Computational Molecular Science · 1,459 citations

📚 Books worth reading

• The Autobiography of Benjamin FranklinBenjamin Franklin · 1791
• Escape from FreedomErich Fromm · 1941
• Fundamentals of Anatomy & PhysiologyFrederic Martini, Kathleen Welch · 1989
• 📕Contract pricingUnited States. General Accounting Office · 1986
• Essential System AdministrationÆleen Frisch · 1991
• Feedback control of dynamic systemsGene F. Franklin · 2008
• Feedback control of dynamic systemsGene F. Franklin · 1986
• Sams teach yourself SQL in 10 minutesBen Forta · 1999

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Lambda cube In mathematical logic and type theory, the λ-cube (also written lambda cube) is a framework introduced by Henk Barendregt to investigate the different…
• Hindley–Milner type system A Hindley–Milner (HM) type system is a classical type system for the lambda calculus with parametric polymorphism. It is also known as Damas–Milner or…
• Parametric polymorphism In programming languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place…
• Lambda calculus In mathematical logic, the lambda calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and…
• Lambda calculus definition The lambda calculus is a formal mathematical system consisting of constructing lambda terms and performing reduction operations on them. The definition…
• Combinatory logic Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell…
• SKI combinator calculus The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it…
• Curry–Howard correspondence In programming language theory and proof theory, the Curry–Howard correspondence is a direct relationship between computer programs and mathematical proofs…