Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,908,851 papers from all fields of science
Search
Sign In
Create Free Account
Type family
Known as:
Associated type
, Associated types
, Type families
In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Abstract data type
Algebraic data type
Array data structure
C++
Expand
Broader (2)
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Design a Stratiform Metamaterial with Precise Optical Property
Y. Jen
,
Wei-Chin Liu
Symmetry
2019
Corpus ID: 210842925
In this work, a stratiform metamaterial is arranged as multiple periods of metal-dielectric symmetrical film stack to provide…
Expand
2011
2011
Carnitine insufficiency caused by aging and overnutrition compromises mitochondrial performance and metabolic control
C. Breedon
2011
Corpus ID: 51577623
Carnitine is a conditionally essential nutrient that plays a vital role in energy production and fatty acid metabolism…
Expand
2008
2008
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach
Hakim Belhaouari
,
F. Peschanski
11th IEEE High Assurance Systems Engineering…
2008
Corpus ID: 12927187
In this paper, we discuss the automated generation of test cases from contract-oriented specifications. The static analysis we…
Expand
2008
2008
Generalized Immunosuppression-Associated Type Kaposi ’ s Sarcoma in a Patient with Severe Refractory Bullous Pemphigoid
Teh-Yang Cheng
,
C. Hsiao
,
C. Chu
2008
Corpus ID: 53689292
The progression of immunosuppression-associated type Kaposi’s sarcoma (KS) is thought to be related to the immunocompromised…
Expand
2005
2005
Handling Heterogeneity in Connector Generation
Ondrej Galik
,
T. Bures
2005
Corpus ID: 14519422
A software connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors…
Expand
2004
2004
A Multi-Stage Programming Language for Dynamically Reconfigurable Hardware
Adam Megacz
2004
Corpus ID: 16222414
We present Meta-HDL, a two-stage functional language for writing software which dynamically synthesizes and communicates with…
Expand
2004
2004
Dynamic typing for lexical semantics. A case study: the genitive construction
Nicholas Asher
,
P. Denis
2004
Corpus ID: 16979438
In recent years, there has been a considerable amount of effort in computational work on lexical semantics that seeks to automate…
Expand
1995
1995
Typed feature structures, definite equivalences, greatest model semantics, and nonmonotonicity
Hans-Ulrich Krieger
1995
Corpus ID: 123287540
Typed feature logics have been employed as description languages in modern type-oriented grammar theories like HPSG and have laid…
Expand
1993
1993
Stage-specific expression of cancer-associated type 1 and type 2 chain polylactosamine antigens in the developing pancreas of human embryos
暁慧
1993
Corpus ID: 87327873
1968
1968
Abnorme Hämatopoese mit Hepatosplenomegalie bei Neugeborenen mit Down-Syndrom
J. Drescher
,
H. Halsband
,
H. Brunck
,
M. Tolksdorf
Zeitschrift für Kinderheilkunde
1968
Corpus ID: 25588426
SummaryBased on examples given in the literature and by a description of two observed cases, the author reports on symptoms of…
Expand