Live briefing
Everything about Principal type
In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal type. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Principal typeA 5-minute orientation
- Skim a recent paper: Associated factors and principal pathophysiological mechanisms of type 2 diabetes mellitusInfluential work since 2022
- Pick up a classic book: The PrinceThe most-reprinted book on the subject
- Read the landmark paper: First-principles calculations of the ferroelastic transition between rutile-type and CaCl 2 -type SiO 2 at high pressuresCited 5,438 times
- Go sideways: Typing ruleA closely related topic
- Go sideways: Parametric polymorphismA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
No outline available.
🏆 Landmark papers (most cited)
First-principles calculations of the ferroelastic transition between rutile-type and CaCl 2 -type SiO 2 at high pressures
The Principal Type-Scheme of an Object in Combinatory Logic
Gauss type quadrature rules for Cauchy principal value integrals
Principal type schemes for an extended type theory
A non uniqueness result for operators of principal type
Principal type scheme and unification for intersection type discipline
Is insulin resistance the principal cause of type 2 diabetes?
Differential operators of principal type
🆕 Influential since 2022
Associated factors and principal pathophysiological mechanisms of type 2 diabetes mellitus
MLstruct: principal type inference in a Boolean algebra of structural types
Inverse problems for real principal type operators
Principal component ridge type estimator for the inverse Gaussian regression model
Novel Technical Parameters-Based Classification of Harvesters Using Principal Component Analysis and Q-Type Cluster Model
📚 Books worth reading
The PrinceNiccolò Machiavelli · 1515
Prince CaspianC. S. Lewis · 1951
Dr. Wortle's schoolAnthony Trollope · 1881
Home SongLaVyrle Spencer · 1994
Village schoolMiss Read · 1955
City of lightLauren Belfer · 1999
Over Hill and DaleGervase Phinn · 1999
In This MomentKaren Kingsbury · 2017
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Typing rule In type theory and programming language theory, a typing rule is an inference rule that specifies sufficient conditions for a typing judgment to hold.…
- 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…
- 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…
- Polymorphic recursion In computer science, polymorphic recursion (also referred to as Milner–Mycroft typability or the Milner–Mycroft calculus) refers to a recursive parametrically…
- Symposium on Principles of Programming Languages The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with…
- Type inference In type theory, type inference (sometimes called type reconstruction) is the automatic detection of the type of an expression. These include programming…
- Flix (programming language) Flix is a functional, imperative, and logic programming language developed at Aarhus University, with funding from the Independent Research Fund Denmark…
- Value restriction In programming languages with Hindley–Milner type inference and imperative features, in particular the ML programming language family, the value restriction…