Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,577 papers from all fields of science
Search
Sign In
Create Free Account
Principal type
Known as:
Principal typing
, Principle 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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Curry–Howard correspondence
Generalized algebraic data type
Haskell
Hindley–Milner type system
Expand
Broader (2)
Type inference
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Numerical Solution of Weakly Singular Ito-Volterra Integral Equations via Operational Matrix Method based on Euler Polynomials
Farshid Mirzaee
,
Samadyar
,
Nasrin
2018
Corpus ID: 56306336
نیا رد سیرتام زا هدافتسا اب فیعض درفنم یفداصت ارتلو لارگتنا تلاداعم یددع لح هب هلاقم اه یتایلمع ی هلمجدنچ یا اه یمرلیوای میزادرپ . ویتایلمعسیرتامادتباروظنمنیایارب هلمجدنچیفداصتیتایلمعسیرتام یا رلیوایاه هبار یمتسد میروآ . لداعمرددوجومعباوتیمامت ۀ هلمجدنچیرسزاهدافتسااباریفداصتارتلولارگتنا یا بیرقترلیوایاه سیرتامزاسپسوهدز هلمجدنچیتایلمعیاه یا یمهدافتسارلیوایاه مینک . لداعملحراکنیااب ۀ یفداصتارتلولارگتنا یملیدبتیربجتلاداعمهاگتسدکیلحهبفیعضدرفنم یمبسانمیشورابهک،دوش لحارنآناوت رک د . نارکسپس یلااب یمتابثا ارفیعضدرفنمیفداصت ارتلولارگتناتلاداعملحیارب هدشحرطمشوریاطخ مینک . مه یاربنینچ یمهئارایددعلاثمدنچشورییاراکوتقدیسررب دوش . همانربندرکارجازاهدافتساابهدشهئاراجیاتن ردهدشهتشونیا مرن رازفا هببلتم تساهدمآتسد . هژاو یدیلک یاه : سیرتام،فیعضدرفنمارتلولارگتناتلاداعم،یفداصتارتلولارگتناتلاداعم هلمجدنچ،یتایلمعیاه یا رلیوایاه .
2013
2013
Swords in Images: Representation, Development, and Message
Goda Giedraityt
2013
Corpus ID: 193914867
2011
2011
BEAM TEMPERATURE EFFECTS ON THE GROWTH RATE OF A TWO-STREAM FREE ELECTRON LASER
N. Mahdizadeh
2011
Corpus ID: 189800320
The effects of temperature on the growth rate of a twostream free electron laser with planar wiggler magnetic pump have been…
Expand
2009
2009
Type Inference for a Polynomial Lambda Calculus
Marco Gaboardi
,
S. D. Rocca
Types for Proofs and Programs
2009
Corpus ID: 14930033
We study the type inference problem for the Soft Type Assignment system (STA) for *** -calculus introduced in [1], which is…
Expand
2009
2009
Type systems for object-oriented languages based on coinductive logic ?
D. Ancona
,
Giovanni Lagorio
2009
Corpus ID: 13937038
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in…
Expand
1999
1999
Minimum principle type necessary optimality conditions with equality constraints: preliminary results
R. Cambini
1999
Corpus ID: 124127268
1998
1998
Minimum principle type necessary optimality conditions: preliminary results
R. Cambini
1998
Corpus ID: 124050181
1993
1993
Coherence for Qualiied Types
Mark P. Jones
1993
Corpus ID: 6414131
ions and let expressions. Any such renaming is permitted so long as we avoid clashes with free variables. The nal group of…
Expand
1990
1990
Cytomorphology of the pedal aperture glands of Mya arenaria L. (Mollusca, Bivalvia)
J. Norenburg
,
J. Ferraris
1990
Corpus ID: 43456395
A glandular cushion, called the pedal aperture gland in this paper, lies adjacent and internal to each of the two mantle margins…
Expand
Review
1976
Review
1976
The Pioneer Chinese of Utah
Donovan Conley
1976
Corpus ID: 160807635
With the single exception of a survey of Chinese history in the Western United States written by the Daughters of the Utah…
Expand