Skip to search formSkip to main contentSkip to account menu

Product type

Known as: Pair (computer science), Tuple (computer science), Pair type 
In programming languages and type theory, a product of types is another, compounded, type in a structure. The "operands" of the product are types… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Algebraic data typeCurryingCurry–Howard correspondenceDependent type

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Costs of Publishing Monographs: Toward a Transparent Methodology
2013
2013
A Novel Reliability Evaluation Technique for Stochastic-Flow Manufacturing Networks With Multiple Production Lines
This paper presents a novel technique to measure the performance of a stochastic-flow manufacturing network (SMN) which violates… 
2011
2011
Collaborative composition of processes in holonic manufacturing systems
2010
2010
Experimental Study on RFID Performance Factors of Conveyor Belt System Using DOE Methodology
This paper investigates how the performance factors affect RFID (Radio Frequency Identification) system performance. We focus on… 
2004
2004
Online support for commerce processes and survivability of web retailers
Highly Cited
2003
Highly Cited
2003
Tool capacity planning in semiconductor manufacturing
2003
2003
An Empirical Investigation of Marketing Strategy Quality in Medical Markets
This is the first in a trilogy of papers reporting a five-year research project into marketing strategy making in medical markets… 
2003
2003
Job order releasing and throughput planning for multi-priority orders in wafer fabs
To meet the production target of multi-level (multiple priority rank) orders in wafer fabs, this paper uses a hierarchical… 
Review
1998
Review
1998
Assessing the availability of wood residues and residue markets in Virginia
A statewide mail survey of Virginia's wood products manufacturers was conducted to quantify the generation and consumption of… 
1969
1969
Absolute stability of dynamic system containing non-linear functions of several state variables
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)