Everything about Flow-sensitive typing

🧭 Start here: a 6-step reading path

1. Read the overview: Flow-sensitive typingA 5-minute orientation
2. Pick up a classic book: Introduction to operations researchThe most-reprinted book on the subject
3. Read the landmark paper: Implementing a Language with Flow-Sensitive and Structural Typing on the JVMCited 9 times
4. Go sideways: Whiley (programming language)A closely related topic
5. Go sideways: C Sharp 2.0A closely related topic

🏆 Landmark papers (most cited)

• Implementing a Language with Flow-Sensitive and Structural Typing on the JVM

  David J. Pearce, James Noble · 2011 · Electronic Notes in Theoretical Computer Science · 9 citations

📚 Books worth reading

• Introduction to operations researchFrederick S. Hillier · 1967
• Operations ManagementRoberta S. Russell, Bernard Taylor · 1998
• The web application hacker's handbookDafydd Stuttard, Marcus Pinto · 2007
• Linear programmingRobert J. Vanderbei · 1996
• Microbial toxinsOtto Holst · 2011
• Treaty Occupationay ToxicologySuelen Queiroz · 2010
• Distillation controlCecil L. Smith · 2012
• 📕Engineering Decision Making and Risk ManagementJeffrey W. Herrmann · 2015

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

🔗 Related topics

• Whiley (programming language) Whiley is an experimental programming language that combines features from the functional and imperative programming paradigms, and supports formal specificatio…
• C Sharp 2.0 The computer programming language, C#, introduces several new features in version 2.0 (corresponding to the 3rd edition of the ECMA-334 standard and the…
• Reflective programming In computer science, reflective programming or reflection is the ability of a process to examine, introspect, and modify its own structure and behavior…
• Java syntax The syntax of Java is the set of rules defining how a Java program is written and interpreted. The syntax is mostly derived from C and C++. Unlike C++…
• Weak reference In computer programming, a weak reference is a reference that does not protect the referenced object from collection by a garbage collector, unlike a strong…
• Ceylon (programming language) Ceylon was an object-oriented, strongly statically typed programming language with an emphasis on immutability, created by Red Hat. Ceylon programs run…
• Nullable type Nullable types are a feature of some programming languages which allow a value to be set to the null value instead of the usual possible values of the…
• C Sharp syntax This article describes the syntax of the C# programming language. The features described are compatible with .NET Framework and Mono. An identifier is…