Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,975,130 papers from all fields of science
Search
Sign In
Create Free Account
Product type
Known as:
Pair (computer science)
, Tuple (computer science)
, Pair type
Expand
In programming languages and type theory, a product of types is another, compounded, type in a structure. The "operands" of the product are types…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
Algebraic data type
Currying
Curry–Howard correspondence
Dependent type
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Channel coordination, pricing and replenishment policies in three-echelon dual-channel supply chain
N. Modak
,
Shibaji Panda
,
S. Sana
2015
Corpus ID: 60408515
Abstract: This paper addresses pricing, replenishment policies, coordination, and issues of surplus profit division among the…
Expand
2014
2014
Load Current Interruption in Air for Medium Voltage Ratings
E. Jonsson
2014
Corpus ID: 59335879
Gases released from polymers placed near a burning electric arc are known to influence the behavior of the arc. In switching…
Expand
2012
2012
Influence of Product Complexity and Customer Demographics on Co-Design
M. Shaukat
2012
Corpus ID: 107552432
2011
2011
Financial Feasibility of a Log Sort Yard Handling Small-Diameter Logs: A Preliminary Study
Han-Sup Han
,
E. Bilek
,
J. Dramm
,
Dan R. Loeffler
,
D. Calkin
2011
Corpus ID: 56061564
The value and use of the trees removed in fuel reduction thinning and restoration treatments could be enhanced if the wood were…
Expand
2010
2010
Flow time prediction for a single-server order picking workstation using aggregate process times
R. Andriansyah
,
L. Etman
,
J. Rooda
2010
Corpus ID: 53644004
In this paper we propose a simulation modeling approach based on aggregate process times for the performance analysis of order…
Expand
2009
2009
Varieties of Conventional Implicature : Evidence from Japanese ∗
E. McCready
2009
Corpus ID: 18658446
This paper examines the linguistic realization of conventi onal implicatures, taking the semantics and pragmatics of the Japanes…
Expand
2006
2006
A Proposed Hierarchical Production Planning Structure for Combined MTS/MTO Environments
M. Rabbani
,
R. Tavakkoli-Moghaddam
2006
Corpus ID: 15417545
From the viewpoint of the relationship between production release and order arrival, production system can be classified into…
Expand
2006
2006
Improving RFID System to Read Tags Efficiently
A. Sahoo
,
S. Iyer
,
N. Bhandari
2006
Corpus ID: 16645732
Radio Frequency Identification (RFID) is slated to become a standard for tagging various products. As more and more products…
Expand
1999
1999
Miscellaneous electricity use in U.S. homes
Marla Sanchez
,
J. Koomey
,
M. Moezzi
,
A. Meier
,
Wolfgang Huber
1999
Corpus ID: 55463412
Historically, residential energy and carbon saving efforts have targeted conventional end uses such as water heating, lighting…
Expand
1999
1999
A general method to prove the normalization theorem for first and second order typed λ-calculi
1999
Corpus ID: 260604515